DifferentialThomas

Thomas Decomposition: Der Thomas-Algorithmus konstruiert eine Zerlegung von Systemen algebraischer oder differentieller Gleichungen und Ungleichungen in einfache Systeme.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 18 articles )

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

  1. Lyakhov, Dmitry A.; Gerdt, Vladimir P.; Michels, Dominik L.: On the algorithmic linearizability of nonlinear ordinary differential equations (2020)
  2. Wang, Dongming; Dong, Rina; Mou, Chenqi: Decomposition of polynomial sets into characteristic pairs (2020)
  3. Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc: An equivalence theorem for regular differential chains (2019)
  4. Michels, D. L.; Gerdt, V. P.; Blinkov, Yu. A.; Lyakhov, D. A.: On the consistency analysis of finite difference approximations (2019)
  5. Mou, Chenqi; Wang, Dongming: Characteristic decomposition: from regular sets to normal sets (2019)
  6. Grasegger, Georg; Lastra, Alberto; Sendra, J. Rafael; Winkler, Franz: Rational general solutions of systems of first-order algebraic partial differential equations (2018)
  7. Lange-Hegermann, Markus: The differential counting polynomial (2018)
  8. Amodio, Pierluigi; Blinkov, Yuri; Gerdt, Vladimir; La Scala, Roberto: Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations (2017)
  9. Keicher, Simon; Kremer, Thomas: A test for monomial containment (2017)
  10. Lange-Hegermann, Markus: The differential dimension polynomial for characterizable differential ideals (2017)
  11. Gerdt, Vladimir P.; Robertz, Daniel: Lagrangian constraints and differential Thomas decomposition (2016)
  12. Michels, Dominik L.; Lyakhov, Dmitry A.; Gerdt, Vladimir P.; Hossain, Zahid; Riedel-Kruse, Ingmar H.; Weber, Andreas G.: On the general analytical solution of the kinematic Cosserat equations (2016)
  13. Robertz, Daniel: Formal algorithmic elimination for PDEs (2016)
  14. Gerdt, Vladimir; La Scala, Roberto: Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals (2015)
  15. Robertz, Daniel: Recent progress in an algebraic analysis approach to linear systems (2015)
  16. Plesken, Wilhelm; Bächler, Thomas: Counting polynomials for linear codes, hyperplane arrangements, and matroids (2014)
  17. Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
  18. Bächler, Thomas; Gerdt, Vladimir; Lange-Hegermann, Markus; Robertz, Daniel: Algorithmic Thomas decomposition of algebraic and differential systems (2012)