• Login
    View Item 
    •   UCrea
    • UCrea Investigación
    • Departamento de Matemáticas, Estadística y Computación
    • D21 Artículos
    • View Item
    •   UCrea
    • UCrea Investigación
    • Departamento de Matemáticas, Estadística y Computación
    • D21 Artículos
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    On the Unavoidable Uncertainty of Truth in Dynamic Geometry Proving

    View/Open
    On the Unavoidable ... (258.2Kb)
    Identificadores
    URI: http://hdl.handle.net/10902/7266
    Compartir
    RefworksMendeleyBibtexBase
    Estadísticas
    View Usage Statistics
    Google Scholar
    Full record
    Show full item record
    Author
    Botana Ferreiro, Francisco Ramón; Recio Muñiz, Tomás
    Date
    2015
    Derechos
    © Francisco Ramón Botana Ferreiro y Tomás Recio Muñiz
    Palabras clave
    Dynamic geometry
    Automated theorem proving
    GeoGebra
    Varignon Theorem
    Abstract:
    The 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.
    Collections to which it belong
    • D21 Artículos [183]
    • D21 Proyectos de Investigación [136]

    UNIVERSIDAD DE CANTABRIA

    Repositorio realizado por la Biblioteca Universitaria utilizando DSpace software
    Contact Us | Send Feedback
    Metadatos sujetos a:licencia de Creative Commons Reconocimiento 3.0 España
     

     

    Browse

    All of UCreaCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsUC AuthorsThis CollectionBy Issue DateAuthorsTitlesSubjectsUC Authors

    My Account

    LoginRegister

    Statistics

    View Usage Statistics
    About UCrea
    What is UcreaGuide of self-archivingThesis archiveOpen accessCopyright guideInstitutional policy
    Thinks in open
    Piensa en abierto
    Share

    UNIVERSIDAD DE CANTABRIA

    Repositorio realizado por la Biblioteca Universitaria utilizando DSpace software
    Contact Us | Send Feedback
    Metadatos sujetos a:licencia de Creative Commons Reconocimiento 3.0 España