scientific article; zbMATH DE number 1574481
From MaRDI portal
Publication:2702011
Recommendations
- scientific article; zbMATH DE number 589124
- Cylindrical algebraic decomposition using local projections
- An improvement of the projection operator in cylindrical algebraic decomposition
- Cylindrical algebraic decomposition using local projections
- Improved projection for cylindrical algebraic decomposition
Cited in
(6)- Interval arithmetic in cylindrical algebraic decomposition
- Improving the use of equational constraints in cylindrical algebraic decomposition
- Computation with semialgebraic sets represented by cylindrical algebraic formulas
- Simplification of Cylindrical Algebraic Formulas
- scientific article; zbMATH DE number 589124 (Why is no real title available?)
- Cylindrical algebraic decomposition using local projections
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)