Search Results for author:
Found 16 papers, 0 papers with code
Proceedings 12th International Workshop on Theorem proving components for Educational software
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the power of theorem-proving technologies.
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
We present and discuss different approaches for the automatic discovery of geometric theorems (and properties), and different metrics to find the interesting theorems among all those that were generated.
Proceedings 14th International Conference on Automated Deduction in Geometry
The 14th edition, ADG 2023, was held in Belgrade, Serbia, in September 20-22, 2023.
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools
Beyond the problems related with the curricula and the teachers, the dissonance between the outcomes of the geometry automated theorem provers and the normal practice of conjecturing and proving in schools is a major barrier to a wider use of such tools in an educational environment.
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software
While this volume goes to press, the next edition of the ThEdu workshop is being prepared: ThEdu'23 will be a satellite event of the 29th international Conference on Automated Deduction (CADE 2023), July 1-4, 2023, Rome, Italy.
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools
The introduction of automated deduction systems in secondary schools face several bottlenecks, the absence of the subject of rigorous mathematical demonstrations in the curricula, the lack of knowledge by the teachers about the subject and the difficulty of tackling the task by automatic means.
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28.
Open Geometry Prover Community Project
Mathematical proof is undoubtedly the cornerstone of mathematics.
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
With some luck, we would actually expect that the very special circumstances set up by the worst sanitary crisis in a century will happen to reinforce the need for the application of certified components and of verification methods for the production of educational software that would be available even when the traditional on-site learning experiences turn out not to be recommendable.
Towards a Geometry Automated Provers Competition
The geometry automated theorem proving area distinguishes itself by a large number of specific methods and implementations, different approaches (synthetic, algebraic, semi-synthetic) and different goals and applications (from research in the area of artificial intelligence to applications in education).
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil.
Towards Ranking Geometric Automated Theorem Provers
In many cases the geometric constructions are used to establish the theorems' statements, geometric constructions are, in some provers, used to conduct the proof, used as counter-examples to close some branches of the automatic proof.
Proceedings 7th International Workshop on Theorem proving components for Educational software
The major aim of the ThEdu workshop series was to link developers interested in adapting Computer Theorem Proving (TP) to the needs of education and to inform mathematicians and mathematics educators about TP's potential for educational software.
Proceedings 6th International Workshop on Theorem proving components for Educational software
The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017.
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers
The UITP workshop series brings together researchers interested in designing, developing and evaluating user interfaces for automated reasoning tools, such as interactive proof assistants, automated theorem provers, model finders, tools for formal methods, and tools for visualising and manipulating logical formulas and proofs.
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
Dynamic geometry systems (DGS) have become basic tools in many areas of geometry as, for example, in education.
