Pedro Quaresma

Pierluigi Graziani

Stefano M. Nicoletti

CoRR, 2024

Proceedings 14th International Conference on Automated Deduction in Geometry.

[BibT_eX]

[DOI]

Zoltán Kovács

CoRR, 2024

2023

Towards a geometry deductive database prover.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., December, 2023

Measuring the Readability of Geometric Proofs: The Area Method Case.

[BibT_eX]

[DOI]

Pierluigi Graziani

J. Autom. Reason., March, 2023

2022

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools.

[BibT_eX]

[DOI]

Joana Teles

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

2021

Four Geometry Problems to Introduce Automated Deduction in Secondary Schools.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

Open Geometry Prover Community Project.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

2020

Automated Deduction and Knowledge Management in Geometry.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2020

Taxonomies of geometric problems.

[BibT_eX]

[DOI]

J. Symb. Comput., 2020

2019

Towards a Geometry Automated Provers Competition.

[BibT_eX]

[DOI]

Zoltán Kovács

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

2018

Web geometry laboratory: case studies in Portugal and Serbia.

[BibT_eX]

[DOI]

Interact. Learn. Environ., 2018

<i>WGL</i>, a web laboratory for geometry.

[BibT_eX]

[DOI]

Milena Maric

Educ. Inf. Technol., 2018

Towards Ranking Geometric Automated Theorem Provers.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Automatic Deduction in an AI Geometry Book.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Towards an Intelligent and Dynamic Geometry Book.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2017

Exchange of Geometric Information Between Applications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2015

A Web Environment for Geometry.

[BibT_eX]

[DOI]

Milena Maric

Proceedings of the CICM 2015, 2015

2014

Reproducing a Geometric Working Session.

[BibT_eX]

[DOI]

Juan Moral

Proceedings of the Joint Proceedings of the MathUI, 2014

Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices.

[BibT_eX]

[DOI]

Yannis Haralambous

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Current Status of the I2GATP Common Format.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry - 10th International Workshop, 2014

2013

The Web Geometry Laboratory Project.

[BibT_eX]

[DOI]

Seifeddine Bouallegue

Proceedings of the Intelligent Computer Mathematics, 2013

The full angle method on the OpenGeoProver.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the MathUI, 2013

Collaborative environment for geometry.

[BibT_eX]

[DOI]

Proceedings of the 2013 2nd Experiment@ International Conference (exp.at'13), 2013

2012

The Area Method - A Recapitulation.

[BibT_eX]

[DOI]

Julien Narboux

J. Autom. Reason., 2012

An XML-Format for Conjectures in Geometry (Work-in-Progress)

[BibT_eX]

[DOI]

CoRR, 2012

2011

Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

2010

Thousands of Geometric Problems for Geometric Theorem Provers (TGTP).

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry - 8th International Workshop, 2010

2008

E-Learning Course for Euclidean Geometry.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Advanced Learning Technologies, 2008

2006

GeoThms - a Web System for Euclidean Constructive Geometry.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

System Description: GCLCprover + GeoThms.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Automatic Verification of Regular Constructions in Dynamic Geometry Systems.

[BibT_eX]

[DOI]