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

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

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

  1. Zhilinskií, B. I.: Symmetry, invariants, and topology in molecular models (2001)
  2. Amrane, Samir Ait: Sur le schéma de Hilbert des courbes gauches de degré (d) et genre (g=(d-3)(d-4)/2). (On the Hilbert scheme of space curves of degree (d) and genus (g=(d-3)(d-4)/2)) (2000)
  3. Avramov, Luchezar L.; Buchweitz, Ragnar-Olaf: Support varieties and cohomology over complete intersections (2000)
  4. Beauville, Arnaud: Determinantal hypersurfaces. (2000)
  5. Bermejo, Isabel; Gimenez, Philippe: On Castelnuovo-Mumford regularity of projective curves (2000)
  6. Boij, Mats: Artin level modules (2000)
  7. Carlini, Enrico; Stewart, Michael: Documentation for the TV & HFO2 package (2000)
  8. Decker, Wolfram; Schreyer, Frank-Olaf: Non-general type surfaces in (\mathbbP^4): Some remarks on bounds and constructions (2000)
  9. Eisenbud, David; Mustaţǎ, Mircea; Stillman, Mike: Cohomology and toric varieties and local cohomology with monomial supports (2000)
  10. Eisenbud, David; Popescu, Sorin: The projective geometry of the Gale transform. (2000)
  11. Eisenbud, David; Popescu, Sorin; Walter, Charles: Enriques surfaces and other non-Pfaffian subcanonical subschemes of codimension 3 (2000)
  12. Gatermann, Karin: Computer algebra methods for equivariant dynamical systems (2000)
  13. Greuel, Gert-Martin: Computer algebra and algebraic geometry -- achievements and perspectives (2000)
  14. Guerrieri, Anna; Swanson, Irena: Jacobian ideals of trilinear forms: An application of 1-genericity (2000)
  15. Kawasaki, Takesi: On Macaulayfication of Noetherian schemes. -- Appendix A: (d^+)-sequences. Appendix B: An example (2000)
  16. Matei, Daniel; Suciu, Alexander I.: Cohomology rings and nilpotent quotients of real and complex arrangements (2000)
  17. Migliore, Juan; Nagel, Uwe; Peterson, Chris: Constructing schemes with prescribed cohomology in arbitrary codimension (2000)
  18. Peeva, Irena; Stillman, Mike: Local equations for the toric Hilbert scheme (2000)
  19. Ranestad, Kristian; Schreyer, Frank-Olaf: Varieties of sums of powers (2000)
  20. Smith, Gregory G.: Computing global extension modules (2000)

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

Further publications can be found at: