Follow
Julien Narboux
Julien Narboux
Associate Professor University of Strasbourg
Verified email at narboux.fr - Homepage
Title
Cited by
Cited by
Year
The area method: a recapitulation
P Janicic, J Narboux, P Quaresma
Journal of Automated Reasoning 48 (4), 489-532, 2012
852012
Mechanical theorem proving in Tarski’s geometry
J Narboux
Automated Deduction in Geometry, 139-156, 2007
802007
A graphical user interface for formal proofs in geometry
J Narboux
Journal of Automated Reasoning 39 (2), 161-180, 2007
772007
A decision procedure for geometry in coq
J Narboux
Theorem Proving in Higher Order Logics, 33-62, 2004
642004
From tarski to hilbert
G Braun, J Narboux
International Workshop on Automated Deduction in Geometry, 89-109, 2012
492012
The Area Method
P Janičić, J Narboux, P Quaresma
Journal of Automated Reasoning, 1-44, 2012
452012
Formalizing projective plane geometry in Coq
N Magaud, J Narboux, P Schreck
Automated Deduction in Geometry, 141-162, 2011
392011
Proof-checking euclid
M Beeson, J Narboux, F Wiedijk
Annals of Mathematics and Artificial Intelligence 85, 213-257, 2019
342019
Formalization of Wu’s simple method in Coq
JD Génevaux, J Narboux, P Schreck
Certified Programs and Proofs, 71-86, 2011
332011
Formalisation et automatisation du raisonnement géométrique en Coq.
J Narboux
Université Paris Sud-Paris XI, 2006
332006
Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry
SS Ðurđević, J Narboux, P Janičić
Annals of Mathematics and Artificial Intelligence 74 (3), 249-269, 2015
302015
Formalizing Desargues' theorem in Coq using ranks
N Magaud, J Narboux, P Schreck
Proceedings of the 2009 ACM symposium on Applied Computing, 1110-1115, 2009
282009
Using small scale automation to improve both accessibility and readability of formal proofs in geometry
P Boutry, J Narboux, P Schreck, G Braun
Automated Deduction in Geometry 2014, 1-19, 2014
272014
A case study in formalizing projective geometry in Coq: Desargues theorem
N Magaud, J Narboux, P Schreck
Computational Geometry, 2012
272012
Formalization of the arithmetization of Euclidean plane geometry and applications
P Boutry, G Braun, J Narboux
Journal of Symbolic Computation 90, 149-168, 2019
262019
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
P Boutry, C Gries, J Narboux, P Schreck
Journal of Automated Reasoning 62, 1-68, 2019
22*2019
A synthetic proof of Pappus’ theorem in Tarski’s geometry
G Braun, J Narboux
Journal of Automated Reasoning 58, 209-230, 2017
202017
A vernacular for coherent logic
S Stojanović, J Narboux, M Bezem, P Janičić
International Conference on Intelligent Computer Mathematics, 388-403, 2014
202014
A short note about case distinctions in Tarski's geometry
P Boutry, J Narboux, P Schreck, G Braun
Automated Deduction in Geometry 2014, 1-15, 2014
162014
A coq-based library for interactive and automated theorem proving in plane geometry
TM Pham, Y Bertot, J Narboux
Computational Science and Its Applications-ICCSA 2011, 368-383, 2011
162011
The system can't perform the operation now. Try again later.
Articles 1–20