Julien Narboux

According to our database, Julien Narboux authored at least 28 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.

Salwa Tabet Gonzalez, Predrag Janicic, Julien Narboux

CoRR, 2024

2023

Automated generation of illustrated proofs in geometry and beyond.

Predrag Janicic, Julien Narboux

Ann. Math. Artif. Intell., December, 2023

2022

Theorem Proving as Constraint Solving with Coherent Logic.

Predrag Janicic, Julien Narboux

J. Autom. Reason., 2022

2021

Automated Generation of Illustrations for Synthetic Geometry Proofs.

Predrag Janicic, Julien Narboux

Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021

Semantic parsing of geometry statements using supervised machine learning on synthetic data.

Salwa Tabet Gonzalez, Stéphane Graham-Lengrand, Julien Narboux, Natarajan Shankar

Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021

2019

Formalization of the arithmetization of Euclidean plane geometry and applications.

Pierre Boutry, Gabriel Braun, Julien Narboux

J. Symb. Comput., 2019

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.

Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck

J. Autom. Reason., 2019

Proof-checking Euclid.

Michael Beeson, Julien Narboux, Freek Wiedijk

Ann. Math. Artif. Intell., 2019

2017

A Synthetic Proof of Pappus' Theorem in Tarski's Geometry.

Gabriel Braun, Julien Narboux

J. Autom. Reason., 2017

2016

Towards a Certified Version of the Encyclopedia of Triangle Centers.

Julien Narboux, David Braun

Math. Comput. Sci., 2016

From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.

Pierre Boutry, Gabriel Braun, Julien Narboux

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

2015

Herbrand's Theorem and non-Euclidean Geometry.

Michael Beeson, Pierre Boutry, Julien Narboux

Bull. Symb. Log., 2015

Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.

Sana Stojanovic Durdevic, Julien Narboux, Predrag Janicic

Ann. Math. Artif. Intell., 2015

2014

A Vernacular for Coherent Logic.

Sana Stojanovic, Julien Narboux, Marc Bezem, Predrag Janicic

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

2012

The Area Method - A Recapitulation.

Predrag Janicic, Julien Narboux, Pedro Quaresma

J. Autom. Reason., 2012

A case study in formalizing projective geometry in Coq: Desargues theorem.

Nicolas Magaud, Julien Narboux, Pascal Schreck

Comput. Geom., 2012

Geometric Construction Problem Solving in Computer-Aided Learning.

Pascal Schreck, Pascal Mathis, Julien Narboux

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

From Tarski to Hilbert.

Gabriel Braun, Julien Narboux

Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012

2011

A Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry.

Tuan-Minh Pham, Yves Bertot, Julien Narboux

Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

Formalization of Wu's Simple Method in Coq.

Jean-David Génevaux, Julien Narboux, Pascal Schreck

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2009

Formalizing Desargues' theorem in Coq using ranks.

Nicolas Magaud, Julien Narboux, Pascal Schreck

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

Formal SOS-Proofs for the Lambda-Calculus.

Christian Urban, Julien Narboux

Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008

Formalizing Projective Plane Geometry in Coq.

Nicolas Magaud, Julien Narboux, Pascal Schreck

Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008

2007

A Graphical User Interface for Formal Proofs in Geometry.

Julien Narboux

J. Autom. Reason., 2007

Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking.

Julien Narboux, Christian Urban

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007

2006

Formalisation et automatisation du raisonnement géométrique en Coq. (Formalisation and automation of geometric reasoning within Coq).

Julien Narboux

PhD thesis, 2006

Mechanical Theorem Proving in Tarski's Geometry.

Julien Narboux

Proceedings of the Automated Deduction in Geometry, 2006

2004

A Decision Procedure for Geometry in Coq.

Julien Narboux

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004