Cited in
(57)- Singularities of algebraic differential equations
- Computing strong regular characteristic pairs with Gröbner bases
- Thomas decomposition and nonlinear control systems
- Characteristic decomposition: from regular sets to normal sets
- Some control observation problems and their differential algebraic partial solutions
- 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
- Epsilon
- Ginv
- PGB
- RegularChains
- ALLTYPES
- OreModules
- DESOLVII
- SADE
- PurityFiltration
- Janet
- DIFFALG
- QuillenSuslin
- Jets
- control.lib
- GUARDIAN
- Wsolve
- PDEtools
- primdec
- AlgebraicThomas
- OreMorphisms
- NesSomos
- DifferentialAlgebra
- InvolutiveBases
- gitfan.lib
- Chordal
- TDDS
- LieAlgebrasOfVectorFields
- parametric GCD
- The differential dimension polynomial for characterizable differential ideals
- Formal algorithmic elimination for PDEs
- Lagrangian constraints and differential Thomas decomposition
- On symbolic approaches to integro-differential equations
- Formal algorithmic elimination for PDEs
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Rational general solutions of systems of first-order algebraic partial differential equations
- Algorithmic verification of linearizability for ordinary differential equations
- An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form
- On the algorithmic linearizability of nonlinear ordinary differential equations
- Decomposition of polynomial sets into characteristic pairs
- 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
