scientific article; zbMATH DE number 1574481
From MaRDI portal
Publication:2702011
Recommendations
Cited in
(6)- Simplification of Cylindrical Algebraic Formulas
- Improving the use of equational constraints in cylindrical algebraic decomposition
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Cylindrical algebraic decomposition using local projections
- Interval arithmetic in cylindrical algebraic decomposition
- scientific article; zbMATH DE number 589124 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2702011)