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 1341 to 1360 of 1567.
Sorted by year (citations)

previous 1 2 3 ... 66 67 68 69 70 ... 77 78 79 next

  1. Pachter, Lior (ed.); Sturmfels, Bernd (ed.): Algebraic statistics for computational biology. (2005)
  2. Papegay, Yves A.; Merlet, Jean-Pierre; Daney, David: Exact kinematics analysis of Car’s suspension mechanisms using symbolic computation and interval analysis (2005)
  3. Rocha, J.; Llabrés, M.; Alberich, R.: A family of metrics for biopolymers based on counting independent sets (2005)
  4. Rodríguez-Carbonell, Enric; Tiwari, Ashish: Generating polynomial invariants for hybrid systems (2005)
  5. Roos, Jan-Erik: Good and bad Koszul algebras and their Hochschild homology (2005)
  6. Santos, Francisco: Non-connected toric Hilbert schemes (2005)
  7. Stillman, Michael: Tools for computing primary decompositions and applications to ideals associated to Bayesian networks (2005)
  8. Taylor, Amelia: On associated primes of initial ideals (2005)
  9. Verra, Alessandro: The unirationality of the moduli spaces of curves of genus 14 or lower (2005)
  10. Walther, Uli: Bernstein-Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements (2005)
  11. Walther, Uli: Algorithmic stratification of (\mathbbR\Hom_\mathcalD(\mathcalM, \mathcalN)) for regular algebraic (\mathcalD)-modules on (\mathbbC^n) (2005)
  12. Aluffi, Paolo: Shadows of blow-up algebras (2004)
  13. Babson, Eric; Novik, Isabella; Thomas, Rekha: Symmetric iterated Betti numbers (2004)
  14. Bahiano, Carlos E. N.: Symbolic powers of edge ideals. (2004)
  15. Castro-Jiménez, F. J.; Ucha-Enríquez, J. M.: Testing the logarithmic comparison theorem for free divisors (2004)
  16. Chirivì, Rocco; Maffei, Andrea: Projective normality of complete symmetric varieties (2004)
  17. Derksen, Harm; Sidman, Jessica: Castelnuovo-Mumford regularity by approximation (2004)
  18. Francisco, Christopher A.: Almost complete intersections and the lex-plus-powers conjecture (2004)
  19. Gatermann, Karin; Parrilo, Pablo A.: Symmetry groups, semidefinite programs, and sums of squares (2004)
  20. Graf von Bothmer, Hans-Christian; Hulek, Klaus: Geometric syzygies of elliptic normal curves and their secant varieties (2004)

previous 1 2 3 ... 66 67 68 69 70 ... 77 78 79 next

Further publications can be found at: