Julien Narboux

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 12

Top Venues

CoRR

Ann. Math. Artif. Intell.

J. Autom. Reason.

Math. Comput. Sci.

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving. CoRR (2024)
Predrag Janicic, Julien Narboux
Automated generation of illustrated proofs in geometry and beyond. Ann. Math. Artif. Intell. 91 (6) (2023)
Predrag Janicic, Julien Narboux
Automated Generation of Illustrations for Synthetic Geometry Proofs. CoRR (2022)
Predrag Janicic, Julien Narboux
Theorem Proving as Constraint Solving with Coherent Logic. J. Autom. Reason. 66 (4) (2022)
Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar
Semantic parsing of geometry statements using supervised machine learning on synthetic data. CICM Workshops (2021)
Michael Beeson, Julien Narboux, Freek Wiedijk
Proof-checking Euclid. Ann. Math. Artif. Intell. 85 (2-4) (2019)
Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. J. Autom. Reason. 62 (1) (2019)
Pierre Boutry, Gabriel Braun, Julien Narboux
Formalization of the arithmetization of Euclidean plane geometry and applications. J. Symb. Comput. 90 (2019)
Gabriel Braun, Julien Narboux
A Synthetic Proof of Pappus' Theorem in Tarski's Geometry. J. Autom. Reason. 58 (2) (2017)
Michael Beeson, Julien Narboux, Freek Wiedijk
Proof-checking Euclid. CoRR (2017)
Pierre Boutry, Gabriel Braun, Julien Narboux
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry. SCSS (2016)
Julien Narboux, David Braun
Towards a Certified Version of the Encyclopedia of Triangle Centers. Math. Comput. Sci. 10 (1) (2016)
Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Michael Beeson, Pierre Boutry, Julien Narboux
Herbrand's Theorem and non-Euclidean Geometry. Bull. Symb. Log. 21 (2) (2015)
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
A Vernacular for Coherent Logic. CoRR (2014)
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
A Vernacular for Coherent Logic. CICM (2014)
Nicolas Magaud, Julien Narboux, Pascal Schreck
A case study in formalizing projective geometry in Coq: Desargues theorem. Comput. Geom. 45 (8) (2012)
Gabriel Braun, Julien Narboux
From Tarski to Hilbert. Automated Deduction in Geometry (2012)
Pascal Schreck, Pascal Mathis, Julien Narboux
Geometric Construction Problem Solving in Computer-Aided Learning. ICTAI (2012)
Predrag Janicic, Julien Narboux, Pedro Quaresma
The Area Method - A Recapitulation. J. Autom. Reason. 48 (4) (2012)
Tuan-Minh Pham, Yves Bertot, Julien Narboux
A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry. ICCSA (4) (2011)
Jean-David Génevaux, Julien Narboux, Pascal Schreck
Formalization of Wu's Simple Method in Coq. CPP (2011)
Nicolas Magaud, Julien Narboux, Pascal Schreck
Formalizing Desargues' theorem in Coq using ranks. SAC (2009)
Nicolas Magaud, Julien Narboux, Pascal Schreck
Formalizing Projective Plane Geometry in Coq. Automated Deduction in Geometry (2008)
Christian Urban, Julien Narboux
Formal SOS-Proofs for the Lambda-Calculus. LSFA (2008)
Julien Narboux, Christian Urban
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking. Electron. Notes Theor. Comput. Sci. 196 (2008)
Julien Narboux
A Graphical User Interface for Formal Proofs in Geometry. J. Autom. Reason. 39 (2) (2007)
Julien Narboux
Mechanical Theorem Proving in Tarski's Geometry. Automated Deduction in Geometry (2006)
Julien Narboux
A Decision Procedure for Geometry in Coq. TPHOLs (2004)

Julien Narboux.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Julien Narboux