
MinimalInvolutiveMonomialBasis
 Referenced in 1 article
[sw27979]
 involutive monomial sets for different involutive divisions. We consider computation and implementation issues ... monomial sets to involution using different involutive divisions. Each of these divisions produces ... polynomial case it yields an involutive basis which is a special form of the Gröbner ... compare our Mathematica implementation of the Janet division to an implementation...

JanetBasis
 Referenced in 2 articles
[sw08684]
 some subalgorithms: Janet division, Pommaret division, the judgment of involutive divisor and reducible, the judgment...

RCWA
 Referenced in 6 articles
[sw00786]
 many more: • Finite groups, and certain divisible torsion groups which they embed into. • Free groups ... countable simple group which is generated by involutions interchanging disjoint residue classes...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

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

Ginv
 Referenced in 8 articles
[sw00350]
 Specialized computer algebra system GINV. The computer algebra...

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

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

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

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

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

Maxima
 Referenced in 171 articles
[sw00560]
 Maxima is a system for the manipulation of...

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

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

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

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

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

SeDuMi
 Referenced in 1284 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...