Julien Narboux

Available identifiers

zbMath Open narboux.julienMaRDI QIDQ294376

List of research outcomes

Publication	Date of Publication	Type
Automated generation of illustrations for synthetic geometry proofs	2024-12-17	Paper
Automated generation of illustrated proofs in geometry and beyond	2024-01-08	Paper
Theorem proving as constraint solving with coherent logic	2022-12-12	Paper
Proof-checking Euclid	2019-05-16	Paper
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq	2019-02-15	Paper
https://portal.mardi4nfdi.de/entity/Q4556039	2018-11-23	Paper
Formalization of the arithmetization of Euclidean plane geometry and applications	2018-06-14	Paper
A synthetic proof of Pappus' theorem in Tarski's geometry	2017-07-06	Paper
Towards a certified version of the encyclopedia of triangle centers	2016-06-16	Paper
Herbrand's theorem and non-Euclidean geometry	2016-03-18	Paper
Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry	2015-07-27	Paper
Formal SOS-Proofs for the Lambda-Calculus	2015-03-18	Paper
A Vernacular for Coherent Logic	2014-08-07	Paper
Formalising in nominal Isabelle Crary's completeness proof for equivalence checking	2014-01-10	Paper
From Tarski to Hilbert	2013-09-20	Paper
A case study in formalizing projective geometry in Coq: Desargues theorem	2012-09-11	Paper
The area method. A recapitulation	2012-07-17	Paper
Formalization of Wu’s Simple Method in Coq	2011-11-22	Paper
Formalizing Projective Plane Geometry in Coq	2011-05-26	Paper
Mechanical Theorem Proving in Tarski’s Geometry	2008-04-01	Paper
A graphical user interface for formal proofs in geometry	2007-12-03	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper

Research outcomes over time

This page was built for person: Julien Narboux