
RevSCA
 Referenced in 2 articles
[sw37909]
 finding the source of the vanishing monomials. As a consequence, if the multiplier consists ... dirty logic, i.e. for instance using nonstandard libraries or logic optimization, the existing ... blocks to detect all sources of vanishing monomials independent of the design architecture. Furthermore...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

cdd
 Referenced in 113 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CLIFFORD
 Referenced in 82 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

FGb
 Referenced in 246 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

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...

MATCONT
 Referenced in 421 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

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

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

PARI/GP
 Referenced in 627 articles
[sw00680]
 PARI/GP is a widely used Computer Algebra System...

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

PolyBoRi
 Referenced in 48 articles
[sw00723]
 Polybori: A framework for Gröbnerbasis computations with...

R
 Referenced in 9188 articles
[sw00771]
 R is a language and environment for statistical...

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