Thomas Decomposition of Algebraic and Differential Systems
From MaRDI portal
Publication:3589061
DOI10.1007/978-3-642-15274-0_4zbMath1202.68488arXiv1008.3767OpenAlexW3123680863MaRDI QIDQ3589061
Thomas Bächler, Daniel Robertz, Markus Lange-Hegermann, Vladimir P. Gerdt
Publication date: 10 September 2010
Published in: Computer Algebra in Scientific Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1008.3767
Symbolic computation and algebraic computation (68W30) Geometric theory, characteristics, transformations in context of PDEs (35A30) Commutative rings of differential operators and their modules (13N10) Differential algebra (12H05)
Related Items (7)
Stability analysis for discrete biological models using algebraic methods ⋮ Differential Elimination for Dynamical Models via Projections with Applications to Structural Identifiability ⋮ Lagrangian constraints and differential Thomas decomposition ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ Some Control Observation Problems and Their Differential Algebraic Partial Solutions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On decomposition of algebraic PDE systems into simple subsystems
- Computing representations for radicals of finitely generated differential ideals
- Involution. The formal theory of differential equations and its applications in computer algebra
- Decomposing polynomial systems into simple systems
- Optimizations of the subresultant algorithm
- Effectiveness of involutive criteria in computation of polynomial Janet bases
- Detecting unnecessary reductions in an involutive basis computation
- Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens
- Comprehensive Triangular Decomposition
- Specializations in Differential Algebra
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
- Fast search for the Janet divisor
This page was built for publication: Thomas Decomposition of Algebraic and Differential Systems