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

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

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