Macaulay2

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 1567 articles , 2 standard articles )

Showing results 1481 to 1500 of 1567.
Sorted by year (citations)

previous 1 2 3 ... 73 74 75 76 77 78 79 next

  1. Eisenbud, David; Popescu, Sorin: The projective geometry of the Gale transform. (2000)
  2. Eisenbud, David; Popescu, Sorin; Walter, Charles: Enriques surfaces and other non-Pfaffian subcanonical subschemes of codimension 3 (2000)
  3. Gatermann, Karin: Computer algebra methods for equivariant dynamical systems (2000)
  4. Greuel, Gert-Martin: Computer algebra and algebraic geometry -- achievements and perspectives (2000)
  5. Guerrieri, Anna; Swanson, Irena: Jacobian ideals of trilinear forms: An application of 1-genericity (2000)
  6. Kawasaki, Takesi: On Macaulayfication of Noetherian schemes. -- Appendix A: (d^+)-sequences. Appendix B: An example (2000)
  7. Matei, Daniel; Suciu, Alexander I.: Cohomology rings and nilpotent quotients of real and complex arrangements (2000)
  8. Migliore, Juan; Nagel, Uwe; Peterson, Chris: Constructing schemes with prescribed cohomology in arbitrary codimension (2000)
  9. Peeva, Irena; Stillman, Mike: Local equations for the toric Hilbert scheme (2000)
  10. Ranestad, Kristian; Schreyer, Frank-Olaf: Varieties of sums of powers (2000)
  11. Smith, Gregory G.: Computing global extension modules (2000)
  12. Sturmfels, Bernd: Four counterexamples in combinatorial algebraic geometry (2000)
  13. Vargas, J. A.: Hardy-Weinberg theory for tetraploidy with mixed mating (2000)
  14. Bayer, Dave; Charalambous, Hara; Popescu, Sorin: Extremal Betti numbers and applications to monomial ideals (1999)
  15. Bernasconi, Anna; Egidi, Lavinia: Hilbert function and complexity lower bounds for symmetric Boolean functions (1999)
  16. Boij, Mats: Gorenstein algebras with nonunimodal Betti numbers (1999)
  17. Holland, Martin P.; Mond, David: Stable mappings and logarithmic relative symplectic forms (1999)
  18. Katzman, Mordechai: Bipartite graphs whose edge algebras are complete intersections (1999)
  19. Matsumoto, Ryutaroh; Miura, Shinji: Computing a basis of (\mathfrakL (D)) on an affine algebraic curve with one rational place at infinity (1999)
  20. Stillman, Michael; Tsai, Harrison: Using SAGBI bases to compute invariants (1999)

previous 1 2 3 ... 73 74 75 76 77 78 79 next


Further publications can be found at: http://www.math.uiuc.edu/Macaulay2/Publications/