A short contribution to the theory of regular chains
From MaRDI portal
Publication:2035618
DOI10.1007/s11786-020-00477-xzbMath1490.13034MaRDI QIDQ2035618
François Boulier, Marc Moreno Maza, Adrien Poteaux, François Lemaire
Publication date: 25 June 2021
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-020-00477-x
13-04: Software, source code, etc. for problems pertaining to commutative algebra
13A15: Ideals and multiplicative ideal theory in commutative rings
13N05: Modules of differentials
13P15: Solving polynomial systems; resultants
Uses Software
Cites Work
- A normal form algorithm for regular differential chains
- Elimination methods
- An equivalence theorem for regular differential chains
- On the theories of triangular sets
- The differential ideal \([P : M^ \infty\).]
- On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains
- Comprehensive Triangular Decomposition
- Specializations in Differential Algebra
- Algorithms in real algebraic geometry
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item