Author:
Narboux Julien,Durand-Guerrier Viviane
Publisher
Springer International Publishing
Reference36 articles.
1. Arsac, G. (1998). L’axiomatique de Hilbert et l’enseignement de la géométrie au collège et au lycée. Lyon: Aléas.
2. Avigad, J., Dean, E., & Mumma, J. (2009). A formal system for Euclid’s elements. The Review of Symbolic Logic, 2, 700–768.
3. Beeson, M., Narboux, J., & Wiedijk, F. (2019). Proof-checking Euclid. Annals of Mathematics and Artificial Intelligence, 85(2–4):213–257. Publisher: Springer.
4. Boutry, P., Gries, C., Narboux, J., & Schreck, P. (2017). Parallel postulates and continuity axioms: A mechanized study in intuitionistic logic using Coq. Journal of Automated Reasoning 68.
5. Boutry, P., Braun, G., & Narboux, J. (2019). Formalization of the arithmetization of Euclidean plane geometry and applications. Journal of Symbolic Computation, 98, 149–168.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献