DifferentialThomas
From MaRDI portal
Software:20616
swMATH8610MaRDI QIDQ20616FDOQ20616
Author name not available (Why is that?)
Cited In (29)
- Singularities of algebraic differential equations
- Computing strong regular characteristic pairs with Gröbner bases
- Characteristic decomposition: from regular sets to normal sets
- On the consistency analysis of finite difference approximations
- Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations
- Counting polynomials for linear codes, hyperplane arrangements, and matroids
- On Symbolic Approaches to Integro-Differential Equations
- Formal Algorithmic Elimination for PDEs
- Recent progress in an algebraic analysis approach to linear systems
- Algorithmic Verification of Linearizability for Ordinary Differential Equations
- A logic based approach to finding real singularities of implicit ordinary differential equations
- Algorithmic Thomas decomposition of algebraic and differential systems
- Formal algorithmic elimination for PDEs
- Lagrangian constraints and differential Thomas decomposition
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Rational general solutions of systems of first-order algebraic partial differential equations
- Decomposition of polynomial sets into characteristic pairs
- 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
- On the algorithmic linearizability of nonlinear ordinary differential equations
- Thomas Decomposition and Nonlinear Control Systems
- Some Control Observation Problems and Their Differential Algebraic Partial Solutions
- Chordal graphs in triangular decomposition in top-down style
- On the numerical analysis and visualisation of implicit ordinary differential equations
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
- A test for monomial containment
- An equivalence theorem for regular differential chains
- The differential counting polynomial
- The Differential Dimension Polynomial for Characterizable Differential Ideals
This page was built for software: DifferentialThomas