Zobrazeno 1 - 10
of 157
pro vyhledávání: '"QUARESMA, Pedro"'
Publikováno v:
EPTCS 400, 2024
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
Externí odkaz:
http://arxiv.org/abs/2404.03709
Publikováno v:
EPTCS 398, 2024, pp. 85-100
The pursue of what are properties that can be identified to permit an automated reasoning program to generate and find new and interesting theorems is an interesting research goal (pun intended). The automatic discovery of new theorems is a goal in i
Externí odkaz:
http://arxiv.org/abs/2401.11905
Autor:
Quaresma, Pedro, Kovács, Zoltán
Publikováno v:
EPTCS 398, 2024
ADG is a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction. The conference is held every two years. The previous editions of ADG
Externí odkaz:
http://arxiv.org/abs/2401.10725
Publikováno v:
EPTCS 375, 2023, pp. 24-37
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 norm
Externí odkaz:
http://arxiv.org/abs/2303.05863
Publikováno v:
EPTCS 375, 2023
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
Externí odkaz:
http://arxiv.org/abs/2303.05360
Autor:
Quaresma, Pedro, Santos, Vanda
Publikováno v:
EPTCS 354, 2022, pp. 27-42
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 diffic
Externí odkaz:
http://arxiv.org/abs/2202.03566
Publikováno v:
EPTCS 354, 2022
This EPTCS volume contains the proceedings of the ThEdu'21 workshop, promoted on 11 July 2021, as a satellite event of CADE-28. Due to the COVID-19 pandemic, CADE-28 and all its co-located events happened as virtual events. ThEdu'21 was a vibrant wor
Externí odkaz:
http://arxiv.org/abs/2202.02144
Autor:
Baeta, Nuno, Quaresma, Pedro
Publikováno v:
EPTCS 352, 2021, pp. 129-138
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 d
Externí odkaz:
http://arxiv.org/abs/2201.01375
Publikováno v:
EPTCS 328, 2020
The 9th International Workshop on Theorem-Proving Components for Educational Software (ThEdu'20) was scheduled to happen on June 29 as a satellite of the IJCAR-FSCD 2020 joint meeting, in Paris. The COVID-19 pandemic came by surprise, though, and the
Externí odkaz:
http://arxiv.org/abs/2010.15832
Publikováno v:
EPTCS 313, 2020, pp. 93-100
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
Externí odkaz:
http://arxiv.org/abs/2002.12556