A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry

Eugenio Roanes-Macías,E. Roanes-Lozano
DOI: https://doi.org/10.1007/978-3-540-77356-6_11
2006-08-31
Abstract:
What problem does this paper attempt to address?