Julien Narboux

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Lean-based language for teaching proof in high school	2026-02-19	Paper
Automated completion of statements and proofs in synthetic geometry: an approach based on constraint solving	2025-09-03	Paper
Automated generation of illustrations for synthetic geometry proofs	2024-12-17	Paper
Automated generation of illustrated proofs in geometry and beyond Annals of Mathematics and Artificial Intelligence	2024-01-08	Paper
Theorem proving as constraint solving with coherent logic Journal of Automated Reasoning	2022-12-12	Paper
Proof-checking Euclid Annals of Mathematics and Artificial Intelligence	2019-05-16	Paper
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq Journal of Automated Reasoning	2019-02-15	Paper
scientific article; zbMATH DE number 6984221 (Why is no real title available?)	2018-11-23	Paper
Formalization of the arithmetization of Euclidean plane geometry and applications Journal of Symbolic Computation	2018-06-14	Paper
A synthetic proof of Pappus' theorem in Tarski's geometry Journal of Automated Reasoning	2017-07-06	Paper
Towards a certified version of the encyclopedia of triangle centers Mathematics in Computer Science	2016-06-16	Paper
Herbrand's theorem and non-Euclidean geometry The Bulletin of Symbolic Logic	2016-03-18	Paper
Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry Annals of Mathematics and Artificial Intelligence	2015-07-27	Paper
Formal SOS-Proofs for the Lambda-Calculus Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
A vernacular for coherent logic Lecture Notes in Computer Science	2014-08-07	Paper
Formalising in nominal Isabelle Crary's completeness proof for equivalence checking	2014-01-10	Paper
From Tarski to Hilbert Automated Deduction in Geometry	2013-09-20	Paper
A case study in formalizing projective geometry in Coq: Desargues theorem Computational Geometry	2012-09-11	Paper
The area method. A recapitulation Journal of Automated Reasoning	2012-07-17	Paper
Formalization of Wu's simple method in Coq Certified Programs and Proofs	2011-11-22	Paper
Formalizing projective plane geometry in Coq Automated Deduction in Geometry	2011-05-26	Paper
Mechanical Theorem Proving in Tarski’s Geometry Automated Deduction in Geometry	2008-04-01	Paper
A graphical user interface for formal proofs in geometry Journal of Automated Reasoning	2007-12-03	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2005-08-18	Paper

Research outcomes over time

This page was built for person: Julien Narboux