DifferentialThomas
From MaRDI portal
Cited in
(57)- Epsilon
- Ginv
- PGB
- RegularChains
- ALLTYPES
- Rational general solutions of systems of first-order algebraic partial differential equations
- Characteristic decomposition: from regular sets to normal sets
- An equivalence theorem for regular differential chains
- Algebraic construction and numerical behavior of a new s-consistent difference scheme for the 2D Navier-Stokes equations
- The differential counting polynomial
- OreModules
- DESOLVII
- SADE
- PurityFiltration
- Janet
- A logic based approach to finding real singularities of implicit ordinary differential equations
- QuillenSuslin
- DIFFALG
- Jets
- Wsolve
- Chordal graphs in triangular decomposition in top-down style
- control.lib
- Computing strong regular characteristic pairs with Gröbner bases
- GUARDIAN
- PDEtools
- On the algorithmic linearizability of nonlinear ordinary differential equations
- primdec
- On the consistency analysis of finite difference approximations
- OreMorphisms
- NesSomos
- AlgebraicThomas
- Counting polynomials for linear codes, hyperplane arrangements, and matroids
- DifferentialAlgebra
- InvolutiveBases
- An extended GCRD algorithm for parametric univariate polynomial matrices and application to parametric Smith form
- gitfan.lib
- On the general analytical solution of the kinematic Cosserat equations
- Formal algorithmic elimination for PDEs
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work
- Recent progress in an algebraic analysis approach to linear systems
- Chordal
- TDDS
- Algorithmic Thomas decomposition of algebraic and differential systems
- The differential dimension polynomial for characterizable differential ideals
- LieAlgebrasOfVectorFields
- parametric GCD
- Formal algorithmic elimination for PDEs
- Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
- Decomposition of polynomial sets into characteristic pairs
- 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
- A test for monomial containment
- On the numerical analysis and visualisation of implicit ordinary differential equations
- Singularities of algebraic differential equations
- Lagrangian constraints and differential Thomas decomposition
This page was built for software: DifferentialThomas
