Ponencia
A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems
Autor/es | Roanes Macías, Eugenio
Roanes Lozano, Eugenio |
Fecha de publicación | 2004 |
Fecha de depósito | 2017-03-02 |
Publicado en |
|
Resumen | A method that automates hypotheses completion in 3D-Geometry is presented. It consists of three processes: defi ning the geometric objects in the confi guration; determining the hypothesis conditions of the confi ... A method that automates hypotheses completion in 3D-Geometry is presented. It consists of three processes: defi ning the geometric objects in the confi guration; determining the hypothesis conditions of the confi guration (through a point-on-object declaration method); and applying an algebraic automatic theorem proving method to obtain and prove the sufficiency of complementary hypothesis conditions. To avoid as much as possible the appearance of rational expressions, projective coordinates are used (although affine and Euclidean problems can also be treated). A Maple implementation of the method has been used to extend to 3D classic 2D geometric theorems like Ceva's and Menelaus'. |
Cita | Roanes Macías, E. y Roanes Lozano, E. (2004). A completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theorems. En 20th European Workshop on Computational Geometry, Sevilla. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
A completion of hypotheses method ... | 177.3Kb | [PDF] | Ver/ | |