Thomas Decomposition of Algebraic and Differential Systems

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

zbMATH Keywords

\texttt{Maple}

Mathematics Subject Classification ID

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

• Epsilon
• Maple
• RegularChains
• Janet
• BLAD
• DIFFALG
• AlgebraicThomas

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