Algorithmic Thomas decomposition of algebraic and differential systems
From MaRDI portal
Publication:432753
DOI10.1016/j.jsc.2011.12.043zbMath1315.35013arXiv1108.0817OpenAlexW2065989671MaRDI 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
Symbolic computation and algebraic computation (68W30) Other special methods applied to PDEs (35A25)
Related Items (30)
Algorithms yield upper bounds in differential algebra ⋮ Singularities of algebraic differential equations ⋮ The Differential Dimension Polynomial for Characterizable Differential Ideals ⋮ Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables ⋮ Rational general solutions of systems of first-order algebraic partial differential equations ⋮ An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form ⋮ The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs ⋮ Lagrangian constraints and differential Thomas decomposition ⋮ Chordal graphs in triangular decomposition in top-down style ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ Some Control Observation Problems and Their Differential Algebraic Partial Solutions ⋮ On Symbolic Approaches to Integro-Differential Equations ⋮ From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work ⋮ Characteristic decomposition: from regular sets to normal sets ⋮ Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals ⋮ An equivalence theorem for regular differential chains ⋮ Computing strong regular characteristic pairs with Gröbner bases ⋮ Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations ⋮ A test for monomial containment ⋮ The differential counting polynomial ⋮ On the algorithmic linearizability of nonlinear ordinary differential equations ⋮ A logic based approach to finding real singularities of implicit ordinary differential equations ⋮ Decomposition of polynomial sets into characteristic pairs ⋮ On the consistency analysis of finite difference approximations ⋮ On the General Analytical Solution of the Kinematic Cosserat Equations ⋮ On the numerical analysis and visualisation of implicit ordinary differential equations ⋮ 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 ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition ⋮ On boundary conditions parametrized by analytic functions
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
This page was built for publication: Algorithmic Thomas decomposition of algebraic and differential systems