Follow
Julien Narboux
Julien Narboux
Lecturer 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
812012
A graphical user interface for formal proofs in geometry
J Narboux
Journal of Automated Reasoning 39 (2), 161-180, 2007
732007
Mechanical theorem proving in Tarski’s geometry
J Narboux
Automated Deduction in Geometry, 139-156, 2007
722007
A decision procedure for geometry in coq
J Narboux
Theorem Proving in Higher Order Logics, 33-62, 2004
612004
From Tarski to Hilbert
G Braun, J Narboux
Automated Deduction in Geometry: 9th International Workshop, ADG 2012 …, 2013
462013
The Area Method
P Janičić, J Narboux, P Quaresma
Journal of Automated Reasoning, 1-44, 2012
412012
Formalizing projective plane geometry in Coq
N Magaud, J Narboux, P Schreck
Automated Deduction in Geometry, 141-162, 2011
362011
Formalization of Wu’s simple method in Coq
JD Génevaux, J Narboux, P Schreck
Certified Programs and Proofs, 71-86, 2011
322011
Formalisation et automatisation du raisonnement géométrique en Coq.
J Narboux
Université Paris Sud-Paris XI, 2006
312006
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-4), 249-269, 2015
272015
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
272009
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
262014
A case study in formalizing projective geometry in Coq: Desargues theorem
N Magaud, J Narboux, P Schreck
Computational Geometry, 2012
252012
Proof-checking Euclid
M Beeson, J Narboux, F Wiedijk
Annals of Mathematics and Artificial Intelligence 85, 213-257, 2019
212019
Formalization of the arithmetization of Euclidean plane geometry and applications
P Boutry, G Braun, J Narboux
Journal of Symbolic Computation 90, 149-168, 2019
202019
A synthetic proof of Pappus’ theorem in Tarski’s geometry
G Braun, J Narboux
Journal of Automated Reasoning 58, 209-230, 2017
192017
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
17*2019
A vernacular for coherent logic
S Stojanović, J Narboux, M Bezem, P Janičić
Intelligent Computer Mathematics: International Conference, CICM 2014 …, 2014
172014
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
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
152014
The system can't perform the operation now. Try again later.
Articles 1–20