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 15 articles )

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

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