Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra, whose creation has been funded by the National Science Foundation since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through a versatile high level interpreted user language with a powerful debugger supporting the creation of new classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more. Computer algebra system (CAS).

This software is also referenced in ORMS.

References in zbMATH (referenced in 1438 articles , 2 standard articles )

Showing results 1341 to 1360 of 1438.
Sorted by year (citations)

previous 1 2 3 ... 66 67 68 69 70 71 72 next

  1. Steingrímsson, Einar: The coloring ideal and coloring complex of a graph (2001)
  2. Suciu, Alexander I.: Fundamental groups of line arrangements: Enumerative aspects (2001)
  3. Tsai, Harrison; Walther, Uli: Computing homomorphisms between holonomic (D)-modules (2001)
  4. Vargas, J. A.; del Castillo, Rafael F.: Genetic associations under mixed mating systems: The Bennett-Binet effect (2001)
  5. Walther, Uli: Computing the cup product structure for complements of complex affine varieties. (2001)
  6. Walther, Uli: Algorithmic determination of the rational cohomology of complex varieties via differential forms. (2001)
  7. Zhilinskií, B. I.: Symmetry, invariants, and topology in molecular models (2001)
  8. Avramov, Luchezar L.; Buchweitz, Ragnar-Olaf: Support varieties and cohomology over complete intersections (2000)
  9. Beauville, Arnaud: Determinantal hypersurfaces. (2000)
  10. Bermejo, Isabel; Gimenez, Philippe: On Castelnuovo-Mumford regularity of projective curves (2000)
  11. Boij, Mats: Artin level modules (2000)
  12. Carlini, Enrico; Stewart, Michael: Documentation for the TV & HFO2 package (2000)
  13. Decker, Wolfram; Schreyer, Frank-Olaf: Non-general type surfaces in (\mathbbP^4): Some remarks on bounds and constructions (2000)
  14. Eisenbud, David; Mustaţǎ, Mircea; Stillman, Mike: Cohomology and toric varieties and local cohomology with monomial supports (2000)
  15. Eisenbud, David; Popescu, Sorin: The projective geometry of the Gale transform. (2000)
  16. Eisenbud, David; Popescu, Sorin; Walter, Charles: Enriques surfaces and other non-Pfaffian subcanonical subschemes of codimension 3 (2000)
  17. Gatermann, Karin: Computer algebra methods for equivariant dynamical systems (2000)
  18. Greuel, Gert-Martin: Computer algebra and algebraic geometry -- achievements and perspectives (2000)
  19. Kawasaki, Takesi: On Macaulayfication of Noetherian schemes. -- Appendix A: (d^+)-sequences. Appendix B: An example (2000)
  20. Matei, Daniel; Suciu, Alexander I.: Cohomology rings and nilpotent quotients of real and complex arrangements (2000)

previous 1 2 3 ... 66 67 68 69 70 71 72 next

Further publications can be found at: