Concepedia

Julien Narboux

JN

Statistics

Publications

11

Citations

247

H-Index

10

Active since

2007

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie

Université de Strasbourg

University of Belgrade

Julien Narboux is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and geometry.

ORCID

Top concepts

Publications per year

2007–2019

11

Publications

11

The Area Method

Predrag Janičić, Julien Narboux, Pedro Quaresma · Journal of Automated Reasoning · 2010 · 62 citations · Full text

, , +7

A Graphical User Interface for Formal Proofs in Geometry

Julien Narboux · Journal of Automated Reasoning · 2007 · 39 citations · Full text

, , +8

Formalization of the arithmetization of Euclidean plane geometry and applications

Pierre Boutry, Gabriel Braun, Julien Narboux · Journal of Symbolic Computation · 2018 · 23 citations · Full text

, , +10

Proof-checking Euclid

Michael Beeson, Julien Narboux, Freek Wiedijk · Annals of Mathematics and Artificial Intelligence · 2019 · 22 citations · Full text

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

Sana Stojanović, Julien Narboux, Predrag Janičić · Annals of Mathematics and Artificial Intelligence · 2015 · 21 citations · Full text

, , +9

1–5 of 11