Julien Narboux

35 papers B 2C 2Misc 1Journal 14Unranked 12
YearRankTypeTitle / Venue / Authors
2025 C conf
A Lean-based Language for Teaching Proof in High School.
CICM
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
2025 — ed.
Proceedings The 13th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2024, Nancy, France, 1-2nd July 2024.
ThEdu@CADE
Julien Narboux, Walther Neuper, Pedro Quaresma
2024 — ed.
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023.
ThEdu@CADE
Julien Narboux, Walther Neuper, Pedro Quaresma
2024 — conf
Proof Assistants for Teaching: a Survey.
ThEdu@CADE
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
2023 — conf
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.
ADG
Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux
2023 J jnl
Automated generation of illustrated proofs in geometry and beyond.
Ann. Math. Artif. Intell.
Predrag Janicic, Julien Narboux
2022 J jnl
Theorem Proving as Constraint Solving with Coherent Logic.
J. Autom. Reason.
Predrag Janicic, Julien Narboux
2021 — conf
Automated Generation of Illustrations for Synthetic Geometry Proofs.
ADG
Predrag Janicic, Julien Narboux
2021 — conf
Semantic parsing of geometry statements using supervised machine learning on synthetic data.
CICM Workshops
Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar
2019 J jnl
Formalization of the arithmetization of Euclidean plane geometry and applications.
J. Symb. Comput.
Pierre Boutry, Gabriel Braun, Julien Narboux
2019 J jnl
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.
J. Autom. Reason.
Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck
2019 J jnl
Proof-checking Euclid.
Ann. Math. Artif. Intell.
Michael Beeson, Julien Narboux, Freek Wiedijk
2017 J jnl
A Synthetic Proof of Pappus' Theorem in Tarski's Geometry.
J. Autom. Reason.
Gabriel Braun, Julien Narboux
2017 J jnl
Proof-checking Euclid.
CoRR
Michael Beeson, Julien Narboux, Freek Wiedijk
2016 — conf
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.
SCSS
Pierre Boutry, Gabriel Braun, Julien Narboux
2016 J jnl
Towards a Certified Version of the Encyclopedia of Triangle Centers.
Math. Comput. Sci.
Julien Narboux, David Braun
2015 J jnl
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.
Ann. Math. Artif. Intell.
Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic
2015 J jnl
Herbrand's Theorem and non-Euclidean Geometry.
Bull. Symb. Log.
Michael Beeson, Pierre Boutry, Julien Narboux
2014 C conf
A Vernacular for Coherent Logic.
CICM
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
2014 J jnl
A Vernacular for Coherent Logic.
CoRR
Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic
2012 J jnl
A case study in formalizing projective geometry in Coq: Desargues theorem.
Comput. Geom.
Nicolas Magaud, Julien Narboux, Pascal Schreck
2012 — conf
From Tarski to Hilbert.
Automated Deduction in Geometry
Gabriel Braun, Julien Narboux
2012 B conf
Geometric Construction Problem Solving in Computer-Aided Learning.
ICTAI
Pascal Schreck, Pascal Mathis, Julien Narboux
2012 J jnl
The Area Method - A Recapitulation.
J. Autom. Reason.
Predrag Janicic, Julien Narboux, Pedro Quaresma
2011 — conf
A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry.
ICCSA (4)
Tuan-Minh Pham, Yves Bertot, Julien Narboux
2011 — ed.
Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
Automated Deduction in Geometry
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
2011 B conf
Formalization of Wu's Simple Method in Coq.
CPP
Jean-David Génevaux, Julien Narboux, Pascal Schreck
2009 Misc conf
Formalizing Desargues' theorem in Coq using ranks.
SAC
Nicolas Magaud, Julien Narboux, Pascal Schreck
2008 — conf
Formal SOS-Proofs for the Lambda-Calculus.
LSFA
Christian Urban, Julien Narboux
2008 — conf
Formalizing Projective Plane Geometry in Coq.
Automated Deduction in Geometry
Nicolas Magaud, Julien Narboux, Pascal Schreck
2007 J jnl
A Graphical User Interface for Formal Proofs in Geometry.
J. Autom. Reason.
Julien Narboux
2007 — conf
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking.
LFMTP@CADE
Julien Narboux, Christian Urban
2006 — —
Formalisation et automatisation du raisonnement géométrique en Coq. (Formalisation and automation of geometric reasoning within Coq).
Julien Narboux
2006 — conf
Mechanical Theorem Proving in Tarski's Geometry.
Automated Deduction in Geometry
Julien Narboux
2004 — conf
A Decision Procedure for Geometry in Coq.
TPHOLs
Julien Narboux