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
• Thomas decomposition and nonlinear control systems
• Some control observation problems and their differential algebraic partial solutions
• 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
• Recent progress in an algebraic analysis approach to linear systems
• A logic based approach to finding real singularities of implicit ordinary differential equations
• Algorithmic Thomas decomposition of algebraic and differential systems
• On the general analytical solution of the kinematic Cosserat equations
• The differential dimension polynomial for characterizable differential ideals
• On symbolic approaches to integro-differential equations
• Formal algorithmic elimination for PDEs
• Lagrangian constraints and differential Thomas decomposition
• Formal algorithmic elimination for PDEs
• From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
• Algorithmic verification of linearizability for ordinary differential equations
• 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 algorithmic linearizability of nonlinear ordinary differential equations
• 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

This page was built for software: DifferentialThomas