A logic based approach to finding real singularities of implicit ordinary differential equations

DOI10.1007/s11786-020-00485-xzbMath1500.34015arXiv2003.00740OpenAlexW3035774476MaRDI QIDQ2035628

Thomas Sturm, Matthias Seiß, Werner M. Seiler

Publication date: 25 June 2021

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2003.00740

zbMATH Keywords

implicit differential equationsVessiot distributionlogic computationgeometric singularitiesreal algebraic computations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Topological structure of integral curves, singular points, limit cycles of ordinary differential equations (34C05) Implicit ordinary differential equations, differential-algebraic equations (34A09) Geometric methods in ordinary differential equations (34A26) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Differential algebra (12H05)

Related Items

Singularities of algebraic differential equations, Algorithmic reduction of biological networks with multiple time scales

Uses Software

• QEPCAD
• REDLOG
• DifferentialThomas
• GUARDIAN
• TDDS

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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic Thomas decomposition of algebraic and differential systems
• Formal algorithmic elimination for PDEs
• Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
• Quantifier elimination for real algebra -- the quadratic case and beyond
• On decomposition of algebraic PDE systems into simple subsystems
• Involution. The formal theory of differential equations and its applications in computer algebra
• Power series solutions of algebraic differential equations
• Normal form of a differential equation, not solvable for the derivative, in a neighborhood of a singular point
• The complexity of linear problems in fields
• Partial cylindrical algebraic decomposition for quantifier elimination
• An algorithm for solving parametric linear systems
• Complexity of deciding Tarski algebra
• Simplification of quantifier-free formulae over ordered fields
• Computation of real radicals of polynomial ideals. II
• Detecting degenerate behaviors in first order algebraic differential equations
• A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
• Singular initial value problems for scalar quasi-linear ordinary differential equations
• New Domains for Applied Quantifier Elimination
• Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
• Singularites generiques des equations differentielles multiformes
• Term Rewriting and All That
• Thirty Years of Virtual Substitution
• Ideals, Varieties, and Algorithms
• Sylvester's Identity and Multistep Integer-Preserving Gaussian Elimination
• Solving parametric linear systems
• The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs