A short contribution to the theory of regular chains
A regular chain is a triangular set of polynomials that satisfy some regularity assumptions. This paper builds on [\textit{F. Boulier} and \textit{F. Lemaire}, Math. Comput. Sci. 4, No. 2--3, 185--201 (2010; Zbl 1218.68202)] as well as [\textit{F. Boulier} et al., J. Symb. Comput. 93, 34--55 (2019; Zbl 1422.13023)] and improves them in some aspects. It presents (a) new algorithms for computing normal forms of rational fractions modulo a regular chain that will always succeed whenever a normal form exists and (b) a new proof for a membership test to an ideal defined by a regular chain. Algorithms and proof are conceptually simpler than existing versions and apply to both, the differential and the non-differential case.
- On the regularity property of differential polynomials modulo regular differential chains
- A normal form algorithm for regular differential chains
- An equivalence theorem for regular differential chains
- On the theories of triangular sets
- Regular chains under linear changes of coordinates and applications
- A normal form algorithm for regular differential chains
- Algorithms in real algebraic geometry
- An equivalence theorem for regular differential chains
- Comprehensive Triangular Decomposition
- Elimination methods
- scientific article; zbMATH DE number 1254247 (Why is no real title available?)
- scientific article; zbMATH DE number 622670 (Why is no real title available?)
- scientific article; zbMATH DE number 1979252 (Why is no real title available?)
- scientific article; zbMATH DE number 3415973 (Why is no real title available?)
- scientific article; zbMATH DE number 3056446 (Why is no real title available?)
- On the regularity property of differential polynomials modulo regular differential chains
- On the theories of triangular sets
- Specializations in Differential Algebra
- The differential ideal \([P] : M^ \infty\).
- An equivalence theorem for regular differential chains
- Change of order for regular chains in positive dimension
- Inversion modulo zero-dimensional regular chains
- On the regularity property of differential polynomials modulo regular differential chains
- Regular chains under linear changes of coordinates and applications
- An Algorithm for Transforming Regular Chain into Normal Chain
- When does \((T)\) equal \(\mathrm{sat}(T)\)?
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
- Differential elimination and algebraic invariants of polynomial dynamical systems
This page was built for publication: A short contribution to the theory of regular chains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2035618)
