Author:
Gerdt Vladimir P.,Robertz Daniel
Funder
Russian Foundation for Basic Research
Reference29 articles.
1. Algorithmic Thomas decomposition of algebraic and differential systems;Bächler;J. Symbolic Comput.,2012
2. Computation of the Smith form for multivariate polynomial matrices using maple;Boudellioua;Amer. J. Comp. Math.,2012
3. Spectral discontinuities in constrained dynamical models;Das;J. Phys. A: Math. Gen.,2009
4. Classical Mechanics, Hamiltonian and Lagrangian Formalism;Deriglazov,2010
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Chordal graphs in triangular decomposition in top-down style;Journal of Symbolic Computation;2021-01
2. On the Chordality of Simple Decomposition in Top-Down Style;Mathematical Aspects of Computer and Information Sciences;2020
3. The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs;Computer Physics Communications;2019-01
4. Formal Algorithmic Elimination for PDEs;Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation;2016-07-20