
FourTiTwo
 Referenced in 8 articles
[sw07615]
 many computations is the fact that in Noetherian rings (such ... question will not stabilize in the Noetherian sense. Using properties of nice orderings, the authors...

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

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

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

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

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

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

SPIKE
 Referenced in 38 articles
[sw02780]
 SPIKE: A parallel environment for solving banded linear...

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

4ti2
 Referenced in 143 articles
[sw04379]
 A software package for algebraic, geometric and combinatorial...

SONATA
 Referenced in 22 articles
[sw04904]
 The use of computers in nearring theory...

HOL
 Referenced in 563 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

EdgeIdeals
 Referenced in 8 articles
[sw06521]
 EdgeIdeals: a package for (hyper)graphs An edge...

Nuprl
 Referenced in 390 articles
[sw06751]
 The Nuprl system is a framework for reasoning...

Automath
 Referenced in 409 articles
[sw07127]
 Automath is a language designed by N.G. the...