
Janet
 Referenced in 37 articles
[sw07776]
 Blinkov for computing Janet bases and Janetlike Gröbner bases for linear systems of partial ... characteristic zero which exist in Maple. Janet also provides a number of tools for dealing...

JanetOre
 Referenced in 5 articles
[sw09587]
 classes of Ore algebras. JanetOre computes Janet bases and Janetlike Gröbner bases. The coefficient...

Ginv
 Referenced in 8 articles
[sw00350]
 algorithms for constructing involutive Janet and Janetlike bases for polynomial ideals and modules...

JanetBasis
 Referenced in 2 articles
[sw08684]
 implementation for the algorithm of Janet bases of linear differential ideals in the Maple system ... paper, an algorithm for computing the Janet bases of linear differential equations is described which ... given. The implemented algorithm includes some subalgorithms: Janet division, Pommaret division, the judgment of involutive ... application, the Janet bases of the determining system of classical Lie symmetries of some partial...

InvolutiveBases
 Referenced in 1 article
[sw13599]
 InvolutiveBases  Methods for Janet bases and Pommaret bases in Macaulay 2. nvolutiveBases is a package ... dealing with Janet and Pommaret bases. Janet bases can be constructed from given Gröbner bases ... free resolutions can be computed using Janet bases. A convenient way to use this strategy...

LDA
 Referenced in 4 articles
[sw21695]
 described. The underlying algorithm is based on Janet and Janetlike monomial divisions associated with...

rStandard.lib
 Referenced in 1 article
[sw25218]
 rStandard.lib: Singular  liberary to compute Janet bases and border bases...

Naccess
 Referenced in 8 articles
[sw12485]
 Developed at UCL by Simon Hubbard and Janet Thornton, this program calculates absolute and relative ... calculation log file.The algorithm is based on work described in the paper...

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

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

homalg
 Referenced in 30 articles
[sw00411]
 homalg: a metapackage for homological algebra. The...

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

MuPAD
 Referenced in 139 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...

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

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