Soc., Providence, RI, 1987. Soc., Providence, RI, 1994. Brandeis University, Waltham, Mass., 1982. A Maple package that computes intersection numbers on algebraic varieties, etc. Singular can compute with ideals and modules generated by polynomials or polynomial vectors over polynomial or power series rings or, more generally, over the localization of a polynomial ring with respect to any ordering on the set of monomials which is compatible with the semigroup structure.
Singular is available via anonymous ftp.
Note that many computations in algebraic geometry are really computations in polynomials rings, hence computational commutative algebra applies. Here are the AMS and Goettingen resource pages for area 14. There isn't, but you might want to think about why . A brief introduction to Abelian varieties Classifying cubic polynomials under the narrow equivalence relation of rotational equivalence. This is essentially the study of formal groups .