DifferentialThomas

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