
graal.lib
 Referenced in 1 article
[sw13975]
 localizations at prime ideals and their associated graded rings based on a work of Mora ... localization of an affine coordinate ring at a prime ideal, the algorithms in this library ... computing first and foremost in the associated graded ring and lifting the result...

PurityFiltration
 Referenced in 9 articles
[sw07656]
 CohenMacaulay ring). In this paper, we show how grade filtration can be explicitly characterized ... methods such as bidualizing complexes, spectral sequences, associated cohomology, or Spencer cohomology used...

CoCoA
 Referenced in 542 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

GAP
 Referenced in 2226 articles
[sw00320]
 GAP is a system for computational discrete algebra...

LAPACK
 Referenced in 1414 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1202 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2119 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4246 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 4752 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 8200 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Normaliz
 Referenced in 88 articles
[sw00630]
 Normaliz is a tool for computations in affine...

Plural
 Referenced in 63 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

REDUCE
 Referenced in 694 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SageMath
 Referenced in 1087 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1096 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

MACSYMA
 Referenced in 686 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

BERGMAN
 Referenced in 20 articles
[sw02980]
 Problems in interaction with the computer algebra system...

ABAQUS
 Referenced in 1155 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

SymbolicData
 Referenced in 23 articles
[sw04621]
 The SymbolicData GEO records  a public repository of...

mctoolbox
 Referenced in 1170 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...