• 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 time-invariant 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 Gross-Keating 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 ... first-order 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 Gromov-Witten 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...
  • ADOL-C

  • Referenced in 239 articles [sw00019]
  • ADOL-C: 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 special-purpose system for computational...
  • cdd

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