15 documents found, page 1 of 2

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

In Proceedings ThEdu'22, arXiv:2303.05360; The introduction of automated deduction systems in secondary schools face several bottlenecks. 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 envi...

A rule-based theorem prover: an introduction to proofs in secondary schools

The introduction of automated deduction systems in secondary schools face several bottlenecks. 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. Since the early implementations of...

Four Geometry Problems to Introduce Automated Deduction in Secondary Schools

In Proceedings ThEdu'21, arXiv:2202.02144; 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. Despite those difficulties we claim that the subject of automated deduction...

Open Geometry Prover Community Project

In Proceedings ADG 2021, arXiv:2112.14770; Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem provers, has enriched our experience with mathematics immensely. To avoid disparate efforts,the Open Geometry Prover Community Project aims at the integration of the different efforts for the deve...

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. Despite those difficulties we claim that the subject of automated deduction in geometry can be introduced, by addressi...

Towards a Geometry Automated Provers Competition

In Proceedings ThEdu'19, arXiv:2002.11895; 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). Apart from the usual measures of efficiency (e.g. CPU time), the ...

Proceedings of the Second International Workshop on Automated Reasoning: Challe...

Towards Ranking Geometric Automated Theorem Provers

In Proceedings ThEdu'18, arXiv:1903.12402; The field of geometric automated theorem provers has a long and rich history, from the early AI approaches of the 1960s, synthetic provers, to today algebraic and synthetic provers. The geometry automated deduction area differs from other areas by the strong connection between the axiomatic theories and its standard models. In many cases the geometric constructions are...

Alan Turing: cientista universal

Este volume pretende contribuir para um reconhecimento mais alargado e informado de Alan Turing. Reúne um conjunto de reflexões sobre a figura, trabalho, legado e impacto do cientista, que se pretendem acessíveis a um público não-especialista.

Exchange of Geometric Information Between Applications

In Proceedings ThEdu'17, arXiv:1803.00722; The Web Geometry Laboratory (WGL) is a collaborative and adaptive e-learning Web platform integrating a well known dynamic geometry system. Thousands of Geometric problems for Geometric Theorem Provers (TGTP) is a Web-based repository of geometric problems to support the testing and evaluation of geometric automated theorem proving systems. The users of these systems s...