DifferentialThomas
From MaRDI portal
Software:20616
No author found.
Related Items (29)
Singularities of algebraic differential equations ⋮ Recent progress in an algebraic analysis approach to linear systems ⋮ The Differential Dimension Polynomial for Characterizable Differential Ideals ⋮ 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 ⋮ Lagrangian constraints and differential Thomas decomposition ⋮ Chordal graphs in triangular decomposition in top-down style ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ Some Control Observation Problems and Their Differential Algebraic Partial Solutions ⋮ On Symbolic Approaches to Integro-Differential Equations ⋮ Algorithmic Verification of Linearizability for Ordinary Differential Equations ⋮ Counting polynomials for linear codes, hyperplane arrangements, and matroids ⋮ Formal Algorithmic Elimination for PDEs ⋮ Formal algorithmic elimination for PDEs ⋮ 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
This page was built for software: DifferentialThomas
