
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 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

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

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

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

Theorema
 Referenced in 150 articles
[sw00961]
 The software system Theorema provides a uniform logic...

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

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

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

ALISA
 Referenced in 5 articles
[sw03031]
 Automatic deductive synthesis of Lisp programs in the...

4ti2
 Referenced in 147 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 594 articles
[sw05492]
 Higher Order Logic (HOL) is a programming environment...

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

Bertini
 Referenced in 254 articles
[sw06683]
 Bertini™: Software for Numerical Algebraic Geometry. Software for...