Algorithmic Thomas decomposition of algebraic and differential systems
From MaRDI portal
Publication:432753
DOI10.1016/j.jsc.2011.12.043zbMath1315.35013arXiv1108.0817MaRDI QIDQ432753
Markus Lange-Hegermann, Daniel Robertz, Thomas Bächler, Vladimir P. Gerdt
Publication date: 4 July 2012
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1108.0817
differential systems; polynomial systems; involutivity; disjoint triangular decomposition; simple systems
Related Items
The Differential Dimension Polynomial for Characterizable Differential Ideals, Decomposition of polynomial sets into characteristic pairs, On the Chordality of Simple Decomposition in Top-Down Style, An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties, Thomas Decomposition and Nonlinear Control Systems, Some Control Observation Problems and Their Differential Algebraic Partial Solutions, On Symbolic Approaches to Integro-Differential Equations, Algorithms yield upper bounds in differential algebra, The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs, Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals, A test for monomial containment, On the numerical analysis and visualisation of implicit ordinary differential equations, Singularities of algebraic differential equations, Lagrangian constraints and differential Thomas decomposition, Rational general solutions of systems of first-order algebraic partial differential equations, Characteristic decomposition: from regular sets to normal sets, An equivalence theorem for regular differential chains, Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations, The differential counting polynomial, A logic based approach to finding real singularities of implicit ordinary differential equations, Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition, On boundary conditions parametrized by analytic functions, Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables, Chordal graphs in triangular decomposition in top-down style, Computing strong regular characteristic pairs with Gröbner bases, On the algorithmic linearizability of nonlinear ordinary differential equations, On the consistency analysis of finite difference approximations, An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form, On the General Analytical Solution of the Kinematic Cosserat Equations, From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
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
- 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
- Counting solutions of polynomial systems via iterated fibrations
- Gauss-Bruhat decomposition as an example of Thomas decomposition
- Involution. The formal theory of differential equations and its applications in computer algebra
- Elimination methods
- Decomposing polynomial systems into simple systems
- On an algorithmic optimization in computation of involutive bases
- Involutive bases of polynomial ideals
- Minimal involutive bases
- On the theories of triangular sets
- Effectiveness of involutive criteria in computation of polynomial Janet bases
- Detecting unnecessary reductions in an involutive basis computation
- Eine Verallgemeinerung des Sturmschen Wurzelzählverfahrens
- Parallel sparse polynomial multiplication using heaps
- Comprehensive Triangular Decomposition
- Thomas Decomposition of Algebraic and Differential Systems
- Counting with groups and rings.
- Abstract Differential Algebra and the Analytic Case
- Abstract Differential Algebra and the Analytic Case. II
- Specializations in Differential Algebra
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
- Fast search for the Janet divisor
