Macaulay2

E852921

Macaulay2 is a specialized computer algebra system designed for research in algebraic geometry and commutative algebra, particularly focused on computations involving polynomial rings and modules.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (1)

Label Occurrences
Macaulay2 canonical 1

Statements (48)

Predicate Object
instanceOf computer algebra system
mathematical software
research software
hasDocumentationURL https://faculty.math.illinois.edu/Macaulay2/Documentation/
hasDownloadURL https://faculty.math.illinois.edu/Macaulay2/Downloads/
hasFeature Betti table computation
Groebner basis computation
Hilbert function computation
Hilbert polynomial computation
arbitrary precision arithmetic
cohomology computation
documentation system
free resolution computation
homology computation
interactive interpreter
interface to external programs
package system
primary decomposition
scripting language
symbolic computation
hasInterfaceLanguage English NERFINISHED
hasProgrammingLanguage Macaulay2 language NERFINISHED
hasWebsite https://faculty.math.illinois.edu/Macaulay2/
isFreeOfCharge true
isOpenSource true
license GNU General Public License
primaryDomain algebraic geometry
commutative algebra
supportsComputationOn graded modules GENERATED
homological invariants GENERATED
ideals GENERATED
modules GENERATED
polynomial rings GENERATED
sheaves GENERATED
supportsInterface Emacs interface
command-line interface
text-based interface
supportsOperatingSystem Linux
Windows NERFINISHED
macOS NERFINISHED
typicalUse computational experiments
prototyping mathematical algorithms
research in algebraic geometry
research in commutative algebra
teaching advanced algebra
writtenInLanguage C NERFINISHED
C++ NERFINISHED
Macaulay2 language

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.