DifferentialThomas
Thomas Decomposition: Der Thomas-Algorithmus konstruiert eine Zerlegung von Systemen algebraischer oder differentieller Gleichungen und Ungleichungen in einfache Systeme.
Keywords for this software
References in zbMATH (referenced in 25 articles )
Showing results 1 to 20 of 25.
Sorted by year (- Mou, Chenqi; Bai, Yang; Lai, Jiahua: Chordal graphs in triangular decomposition in top-down style (2021)
- Boulier, François; Lemaire, François; Rosenkranz, Markus; Ushirobira, Rosane; Verdière, Nathalie: On symbolic approaches to integro-differential equations (2020)
- Braun, Elishan; Seiler, Werner M.; Seiß, Matthias: On the numerical analysis and visualisation of implicit ordinary differential equations (2020)
- Diop, Sette: Some control observation problems and their differential algebraic partial solutions (2020)
- Iohara, Kenji; Malbos, Philippe: From analytical mechanics problems to rewriting theory through M. Janet’s work (2020)
- Lange-Hegermann, Markus; Robertz, Daniel: Thomas decomposition and nonlinear control systems (2020)
- Lyakhov, Dmitry A.; Gerdt, Vladimir P.; Michels, Dominik L.: On the algorithmic linearizability of nonlinear ordinary differential equations (2020)
- Wang, Dongming; Dong, Rina; Mou, Chenqi: Decomposition of polynomial sets into characteristic pairs (2020)
- Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc: An equivalence theorem for regular differential chains (2019)
- Michels, D. L.; Gerdt, V. P.; Blinkov, Yu. A.; Lyakhov, D. A.: On the consistency analysis of finite difference approximations (2019)
- Mou, Chenqi; Wang, Dongming: Characteristic decomposition: from regular sets to normal sets (2019)
- Grasegger, Georg; Lastra, Alberto; Sendra, J. Rafael; Winkler, Franz: Rational general solutions of systems of first-order algebraic partial differential equations (2018)
- Lange-Hegermann, Markus: The differential counting polynomial (2018)
- 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)
- Keicher, Simon; Kremer, Thomas: A test for monomial containment (2017)
- Lange-Hegermann, Markus: The differential dimension polynomial for characterizable differential ideals (2017)
- Lyakhov, Dmitry A.; Gerdt, Vladimir P.; Michels, Dominik L.: Algorithmic verification of linearizability for ordinary differential equations (2017)
- Gerdt, Vladimir P.; Robertz, Daniel: Lagrangian constraints and differential Thomas decomposition (2016)
- 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)
- Robertz, Daniel: Formal algorithmic elimination for PDEs (2016)