Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction
収録刊行物
-
- Proceedings of Algorithmic Algebra and Logic 2005 (Passau, Germany)
-
Proceedings of Algorithmic Algebra and Logic 2005 (Passau, Germany) 2005