An equivalence theorem for regular differential chains
From MaRDI portal
Publication:1733300
DOI10.1016/j.jsc.2018.04.011zbMath1422.13023MaRDI QIDQ1733300
François Boulier, Marc Moreno Maza, Adrien Poteaux, François Lemaire
Publication date: 21 March 2019
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2018.04.011
Related Items
Periodic Pólya urns, the density method and asymptotics of Young tableaux, A short contribution to the theory of regular chains
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algorithmic Thomas decomposition of algebraic and differential systems
- Formal algorithmic elimination for PDEs
- On the dimension of an arbitrary ascending chain
- A complete algorithm for automated discovering of a class of inequality-type theorems
- Algebraic transformation of differential characteristic decompositions from one ranking to another
- Computing representations for radicals of finitely generated differential ideals
- Characteristic set method for differential-difference polynomial systems
- Computing differential characteristic sets by change of ordering
- A new method for solving algebraic systems of positive dimension
- A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
- On global identifiability for arbitrary model parametrizations
- Factorization-free decomposition algorithms in differential algebra
- Computing triangular systems and regular systems
- On the theories of triangular sets
- The differential ideal \([P : M^ \infty\).]
- Associative differential operations
- On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains
- Automatique et corps différentiels
- Comprehensive Triangular Decomposition
- Complexity of quantifier elimination in the theory of ordinary differential equations
- Specializations in Differential Algebra
- Algorithms in real algebraic geometry
- Unmixed-dimensional decomposition of a finitely generated perfect differential ideal
