Show simple item record

dc.creatorRoanes Macías, Eugenioes
dc.creatorRoanes Lozano, Eugenioes
dc.date.accessioned2017-03-02T08:03:01Z
dc.date.available2017-03-02T08:03:01Z
dc.date.issued2004
dc.identifier.urihttp://hdl.handle.net/11441/55076
dc.description.abstractA 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'.es
dc.formatapplication/pdfes
dc.language.isoenges
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.subject3D-geometryes
dc.subjectSimbolyc computationes
dc.subjectAutomatic theorem provinges
dc.titleA completion of hypotheses method for 3D-geometry. 3D-extensions of Ceva and Menelaus theoremses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
idus.format.extent4 p.es
dc.eventtitle20th European Workshop on Computational Geometryes
dc.eventinstitutionSevillaes

FilesSizeFormatViewDescription
A completion of hypotheses method ...177.3KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional