References in zbMATH (referenced in 25 articles )

1. Mou, Chenqi; Bai, Yang; Lai, Jiahua: Chordal graphs in triangular decomposition in top-down style (2021)
2. Boulier, François; Lemaire, François; Rosenkranz, Markus; Ushirobira, Rosane; Verdière, Nathalie: On symbolic approaches to integro-differential equations (2020)
3. Braun, Elishan; Seiler, Werner M.; Seiß, Matthias: On the numerical analysis and visualisation of implicit ordinary differential equations (2020)
4. Diop, Sette: Some control observation problems and their differential algebraic partial solutions (2020)
5. Iohara, Kenji; Malbos, Philippe: From analytical mechanics problems to rewriting theory through M. Janet’s work (2020)
6. Lange-Hegermann, Markus; Robertz, Daniel: Thomas decomposition and nonlinear control systems (2020)
7. Lyakhov, Dmitry A.; Gerdt, Vladimir P.; Michels, Dominik L.: On the algorithmic linearizability of nonlinear ordinary differential equations (2020)
8. Wang, Dongming; Dong, Rina; Mou, Chenqi: Decomposition of polynomial sets into characteristic pairs (2020)
9. Boulier, François; Lemaire, François; Poteaux, Adrien; Moreno Maza, Marc: An equivalence theorem for regular differential chains (2019)
10. Michels, D. L.; Gerdt, V. P.; Blinkov, Yu. A.; Lyakhov, D. A.: On the consistency analysis of finite difference approximations (2019)
11. Mou, Chenqi; Wang, Dongming: Characteristic decomposition: from regular sets to normal sets (2019)
12. Grasegger, Georg; Lastra, Alberto; Sendra, J. Rafael; Winkler, Franz: Rational general solutions of systems of first-order algebraic partial differential equations (2018)
13. Lange-Hegermann, Markus: The differential counting polynomial (2018)
14. 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)
15. Keicher, Simon; Kremer, Thomas: A test for monomial containment (2017)
16. Lange-Hegermann, Markus: The differential dimension polynomial for characterizable differential ideals (2017)
17. Lyakhov, Dmitry A.; Gerdt, Vladimir P.; Michels, Dominik L.: Algorithmic verification of linearizability for ordinary differential equations (2017)
18. Gerdt, Vladimir P.; Robertz, Daniel: Lagrangian constraints and differential Thomas decomposition (2016)
19. 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)
20. Robertz, Daniel: Formal algorithmic elimination for PDEs (2016)