Cited in
(12)- Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition
- scientific article; zbMATH DE number 2221412 (Why is no real title available?)
- Algorithms for computing triangular decomposition of polynomial systems
- Doing algebraic geometry with the RegularChains library
- Algorithms for computing triangular decompositions of polynomial systems
- Epsilon
- RegularChains
- Chordal
- AlgebraicGeometryTools
- Equality-constrained minimization of polynomial functions
- Solving the equality-constrained minimization problem of polynomial functions
- Challenging theorem provers with Mathematical Olympiad problems in solid geometry
This page was built for software: Wsolve
