
FiOrDii
 Referenced in 3 articles
[sw22211]
 search for first order invariants of second order ordinary differential equation (2ODEs) makes ... called Darboux polynomials. The main difficulty involved in this process is the determination...

POLRANGE
 Referenced in 1 article
[sw10305]
 first program (POLRANGE) is to transform a polynomial in the generators of a Lie algebra ... order) for the invariants of a Lie algebra, i.e. for the polynomials in the generators...

ORDINVAR
 Referenced in 1 article
[sw11847]
 first program (POLRANGE) is to transform a polynomial in the generators of a Lie algebra ... order) for the invariants of a Lie algebra, i.e. for the polynomials in the generators...

Catfact
 Referenced in 6 articles
[sw14840]
 class of the singularity. If the modality invariant is less than 3 then normal forms ... mapping problem is to find the taylor polynomial, up to any desired degree...

PoCET
 Referenced in 1 article
[sw33956]
 polynomial chaos expansion (PCE) for linear and nonlinear dynamic systems with timeinvariant stochastic parameters ... paper we show how to perform a polynomial chaos expansion on a simple ordinary differential...

computeGK
 Referenced in 1 article
[sw28084]
 computer program for calculating the GrossKeating invariant and the Siegel series of a half ... intersection numbers related to the classical modular polynomials using the explicit formula of Gross...

curveInv
 Referenced in 0 articles
[sw27226]
 that can be computed are: the delta invariant; the multiplicity of the conductor: the length ... where R is a (localized) polynomial ring...

Pyhybridanalysis
 Referenced in 3 articles
[sw14549]
 lengths increase. However, if we bound the invariants and interpret formulae by using an semantics ... firstorder formula involving polynomials), the sphere semantics, the bottom semantics, and the easy semantics...

schubert.lib
 Referenced in 1 article
[sw27180]
 represented by a variety and a polynomial which is its Chern character. In particular ... related to the computation of GromovWitten invariants. In particular, we implement new tools...

STRATIFY
 Referenced in 1 article
[sw18775]
 Intersections of polynomial rings and modules with applications. We are concerned with two problems, namely ... connection between these seemingly unrelated problems is invariant theory, more precisely, the construction of fundamental...

SpechtModule
 Referenced in 0 articles
[sw31578]
 invariant theory which calculates efficiently the secondary invariants of any permutation group. The main features ... descent. Methods for calculating Higher Specht Polynomials which give a basis of the Specht Modules ... finally methods for calculating the secondary invariants described above...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 239 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

Apron
 Referenced in 67 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

ACL2
 Referenced in 277 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

CASA
 Referenced in 96 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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