Show simple item record

dc.contributor.authorBotana Ferreiro, Francisco Ramón 
dc.contributor.authorRecio Muñiz, Tomás 
dc.contributor.otherUniversidad de Cantabriaes_ES
dc.date.accessioned2015-10-06T10:03:34Z
dc.date.available2015-10-06T10:03:34Z
dc.date.issued2015
dc.identifier.otherMTM2014-54141-P
dc.identifier.urihttp://hdl.handle.net/10902/7266
dc.description.abstractThe aim of this note is to discuss some issues posed by the emergency of universal interfaces able to decide on the truth of geometric statements. More specifically, we consider a recent GeoGebra module allowing general users to verify standard geometric theorems. Working with this module in the context of Varignon’s theorem, we were driven – by the characteristics of the GeoGebra interface– to perform a quite detailed study of the very diverse fate of attempting to automatically prove this statement, when using two different construction procedures.We highlight the relevance –for the theorem proving output– of expression power of the dynamic geometry interface, and we show that the algorithm deciding about the truth of some –even quite simple– statements can fall into a not true and not false situation, providing a source of confusion for a standard user and an interesting benchmark for geometers interested in discovering new geometric facts.es_ES
dc.format.extent19 p.es_ES
dc.language.isoenges_ES
dc.rights© Francisco Ramón Botana Ferreiro y Tomás Recio Muñizes_ES
dc.subject.otherDynamic geometryes_ES
dc.subject.otherAutomated theorem provinges_ES
dc.subject.otherGeoGebraes_ES
dc.subject.otherVarignon Theoremes_ES
dc.titleOn the Unavoidable Uncertainty of Truth in Dynamic Geometry Provinges_ES
dc.typeinfo:eu-repo/semantics/articlees_ES
dc.rights.accessRightsopenAccesses_ES
dc.type.versionsubmittedVersiones_ES


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record