The RegularChains library in Maple 10
From MaRDI portal
Recommendations
Cited in
(32)- Algebraic transformation of differential characteristic decompositions from one ranking to another
- Fast arithmetic for triangular sets: from theory to practice
- RegularChains
- On the mechanization of straightedge and compass constructions
- On exact Reznick, Hilbert-Artin and Putinar's representations
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
- Subresultant chains using Bézout matrices
- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- On the uniqueness problem for quadrature domains
- Fully incremental cylindrical algebraic decomposition
- On approximate triangular decompositions in dimension zero
- Change of order for regular chains in positive dimension
- Parallelization of triangular decompositions: techniques and implementation
- Doing algebraic geometry with the RegularChains library
- Using Maple's RegularChains library to automatically classify plane geometric loci
- Inversion modulo zero-dimensional regular chains
- Generic linear algebra and quotient rings in Maple
- Computer theorem proving for verifiable solving of geometric construction problems
- Thomas decomposition of algebraic and differential systems
- Model reduction of chemical reaction systems using elimination
- Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
- Algorithms for computing triangular decomposition of polynomial systems
- scientific article; zbMATH DE number 1860740 (Why is no real title available?)
- Comprehensive LU Factors of Polynomial Matrices
- Thomas decomposition and nonlinear control systems
- Chordal networks of polynomial ideals
- The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}
- A Direttissimo Algorithm for Equidimensional Decomposition
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
- A syzygial method for equidimensional decomposition
- Computational schemes for subresultant chains
This page was built for publication: The RegularChains library in Maple 10
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3416657)
