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

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

1 2 3 4 next

  1. Boulier, François; Lemaire, François; Rosenkranz, Markus; Ushirobira, Rosane; Verdière, Nathalie: On symbolic approaches to integro-differential equations (2020)
  2. Quadrat, Alban (ed.); Zerz, Eva (ed.): Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014 (2020)
  3. Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc: An equivalence theorem for regular differential chains (2019)
  4. 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)
  5. Rueda, Sonia L.: Differential elimination by differential specialization of Sylvester style matrices (2016)
  6. Gerdt, Vladimir; La Scala, Roberto: Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals (2015)
  7. Musso, Emilio; Hubert, Evelyne: Lagrangian curves in a 4-dimensional affine symplectic space (2014)
  8. Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
  9. Rueda, Sonia L.: Linear sparse differential resultant formulas (2013)
  10. Bächler, Thomas; Gerdt, Vladimir; Lange-Hegermann, Markus; Robertz, Daniel: Algorithmic Thomas decomposition of algebraic and differential systems (2012)
  11. Abramov, S. A.: On some decidable and undecidable problems related to (q)-difference equations with parameters (2010)
  12. Avendaño, Martín; Ibrahim, Ashraf; Rojas, J. Maurice; Rusek, Korben: Randomized NP-completeness for (p)-adic rational roots of sparse polynomials in one variable (2010)
  13. Bächler, Thomas; Gerdt, Vladimir; Lange-Hegermann, Markus; Robertz, Daniel: Thomas decomposition of algebraic and differential systems (2010)
  14. Barkatou, Moulay A.; El Bacha, Carole; Pflügel, Eckhard: Simultaneously row- and column-reduced higher-order linear differential systems (2010)
  15. Berkesch, Christine; Leykin, Anton: Algorithms for Bernstein-Sato polynomials and multiplier ideals (2010)
  16. Bodrato, Marco: A Strassen-like matrix multiplication suited for squaring and higher power computation (2010)
  17. Bostan, Alin; Chen, Shaoshi; Chyzak, Frédéric; Li, Ziming: Complexity of creative telescoping for bivariate rational functions (2010)
  18. Brisebarre, Nicolas; Joldeş, Mioara: Chebyshev interpolation polynomial-based tools for rigorous computing (2010)
  19. Brown, Christopher W.; Strzeboński, Adam: Black-box/white-box simplification and applications to quantifier elimination (2010)
  20. Cha, Yongjae; van Hoeij, Mark; Levy, Giles: Solving recurrence relations using local invariants (2010)

1 2 3 4 next