The diffalg package provides tools for handling systems of algebraic differential equations--either ordinary or partial differential equations. The core of the package is the Rosenfeld-Groebner algorithm. Its implementation is an improved version of the algorithm presented in Boulier et al, Proceedings of ISSAC95. A complete description can be found in the paper by the same authors (see References below).

References in zbMATH (referenced in 13 articles )

Showing results 1 to 13 of 13.
Sorted by year (citations)

  1. Rueda, Sonia L.: Differential elimination by differential specialization of Sylvester style matrices (2016)
  2. Gerdt, Vladimir; La Scala, Roberto: Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals (2015)
  3. Musso, Emilio; Hubert, Evelyne: Lagrangian curves in a 4-dimensional affine symplectic space (2014)
  4. Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
  5. Rueda, Sonia L.: Linear sparse differential resultant formulas (2013)
  6. Bächler, Thomas; Gerdt, Vladimir; Lange-Hegermann, Markus; Robertz, Daniel: Algorithmic Thomas decomposition of algebraic and differential systems (2012)
  7. Hubert, Evelyne: Differential invariants of a Lie group action: syzygies on a generating set (2009)
  8. Cluzeau, Thomas; Hubert, Evelyne: Probabilistic algorithms for computing resolvent representations of regular differential ideals (2008)
  9. Hubert, Evelyne; Olver, Peter J.: Differential invariants of conformal and projective surfaces (2007)
  10. Hubert, Evelyne: Symbolic computation for overdetermined systems of nonlinear differential equations (2006)
  11. Hubert, Evelyne: Differential algebra for derivations with nontrivial commutation rules (2005)
  12. Cluzeau, Thomas; Hubert, Evelyne: Resolvent representation for regular differential ideals (2003)
  13. Boulier, François; Lemaire, François: Computing canonical representatives of regular differential ideals (2000)