Revision #17 → #996 · back to history
addedAlgebraic geometry433de54b6a15
addedAlgebraic varieties8211e478cc1b
addedPoint on an algebraic curve8c49ef315d76
addedMainstream algebraic geometry939eabbe1479
addedDiophantine / arithmetic geometry6a7067d369f7
addedComputational algebraic geometry034fa1cb8705
addedFermat's Last Theorem via schemesd07e396d350d
addedSphere as a vanishing set93f092a90acd
addedSlanted circle in R^3f550ca109ca1
addedAffine space85f08da2d62f
addedPolynomial (regular) functiond98668c909ca
addedRing of regular functions on A^nd0db398d82f5
addedVanishing set V(S)d0226ba0672b
addedAlgebraic seta5311999293c
addedIdeal I(U) of a subsetf1efb21e3613
addedZariski topologyc9b4f85d0d5f
addedU = V(I(U)) iff algebraic set910c4c931823
addedHilbert's Nullstellensatz96fb34d09556
addedHilbert's basis theoremd7563371c616
addedIrreducible algebraic sete76ee8b69da0
addedUnique decomposition into irreducible components1e3a2fe546ba
addedVariety iff prime idealc048b4ee4349
addedRegular function on an algebraic setee911e24dc27
addedTietze extension theorem2e9b9a460a45
addedCoordinate ring k[V]c9f992848489
addedk[V] = k[A^n]/I(V)c691f8b13a09
addedRegular map to affine space778bbd32b566
addedRegular map to a variety3f1e6eb53b11
addedMorphisms and category of algebraic sets4705667c978d
addedEquivalence of categoriesb501a185c790
addedFunction field k(V)4eebbdc17f7a
addedRational map9f3ed1cc7499
addedBirational equivalencec2d51db954b2
addedRational variety7fde9026cc13
addedCircle is a rational curve33a0da011ee4
addedResolution of singularities (Hironaka)02b9ab6fb7b4
addedProjective space P^n6c742fc24537
addedHomogeneous coordinates22276f524fcd
addedVanishing on a line iff homogeneousd7b9dd6edbfb
addedProjective algebraic set0f155c09d270
addedProjective variety297062b8bea7
addedDecomposition of projective algebraic sets01b599228c3f
addedRegular functions on projective variety are constantb1f7bbb012f1
addedParabola vs cubic at infinityb8aa636a0d0d
addedBézout's theorem619a46b21a2b
addedReal algebraic geometryaf3b2f9c3e9e
addedCircle with no real pointsd2140640b3e6
addedSemi-algebraic sets43aa865d7c31
addedHyperbola branch as semi-algebraic set06ab22f6e9d1
addedHilbert's sixteenth problem (ovals)4d68fe90bf53
addedCAD computes topology of semi-algebraic sets6974b04f1fd2
addedNumerical algebraic geometryc9dec51970d2
addedGröbner basisc5406c8b82f9
addedEmptiness criterion via Gröbner basis1499d5a59d50
addedDoubly exponential degree of Gröbner bases28a37ff61fc4
addedCylindrical algebraic decomposition936423a50506
addedTarski's quantifier elimination252552b32fbd
addedCAD complexity6d00a5854530
addedDoubly exponential worst-case complexityb53d48bba9d0
addedAffine schemes antiequivalent to commutative rings4e0bdc6d8030
addedDelian problem8477390a2412
addedAbelian varieties4526c8847d3a
addedAnalytic varietyda60dbd402d6
addedComplex manifolds are complex analytic varieties602fd15a2700
addedNot all complex analytic varieties are manifolds3b5963328976