4 citations · 8 across the 4 of their papers we have counts for
4 papers
Proof Assistants for Teaching: a Survey
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
In parallel to the ever-growing usage of mechanized proofs in diverse areas of mathematics and computer science, proof assistants are used more and more for education. This paper s…
Proceedings The 13th International Workshop on Theorem proving components for Educational software
Julien Narboux, Walther Neuper, Pedro Quaresma
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 favor…
Proceedings 12th International Workshop on Theorem proving components for Educational software
Julien Narboux, Walther Neuper, Pedro Quaresma
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 favo…
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
Salwa Tabet Gonzalez, Predrag Janičić, Julien Narboux
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplet…