A short contribution to the theory of regular chains

DOI10.1007/s11786-020-00477-xzbMath1490.13034OpenAlexW2963295477MaRDI 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

zbMATH Keywords

elimination theorynormal formdifferential algebraregular chain

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to commutative algebra (13-04) Ideals and multiplicative ideal theory in commutative rings (13A15) Modules of differentials (13N05) Solving polynomial systems; resultants (13P15)

Uses Software

• DifferentialAlgebra
• prs.spad

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: A short contribution to the theory of regular chains