Author Info
Name
Affiliation
Papers
JULIEN NARBOUX
Univ Strasbourg, CNRS, UMR 7357, ICube, Strasbourg, France
21
Collaborators
Citations 
PageRank 
19
130
12.49
Referers 
Referees 
References 
125
190
217
Search Limit
100190
Title
Citations
PageRank
Year
Theorem Proving as Constraint Solving with Coherent Logic.00.342022
Proof-checking Euclid.00.342019
Formalization of the arithmetization of Euclidean plane geometry and applications.00.342019
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.10.352019
A synthetic proof of Pappus' theorem in Tarski's geometry20.382017
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.40.422016
Towards a Certified Version of the Encyclopedia of Triangle Centers.20.372016
Herbrand's theorem and non-Euclidean geometry10.372015
Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry50.452015
A case study in formalizing projective geometry in Coq: Desargues theorem40.532012
The Area Method - A Recapitulation.00.342012
From Tarski to Hilbert.40.712012
Formalization of wu's simple method in coq90.592011
A coq-based library for interactive and automated theorem proving in plane geometry50.532011
Formal SOS-Proofs for the Lambda-Calculus20.382009
Formalizing Desargues' theorem in Coq using ranks90.592009
Formalizing projective plane geometry in Coq100.742008
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking60.602008
A Graphical User Interface for Formal Proofs in Geometry211.252007
Mechanical theorem proving in Tarski's geometry221.202006
A Decision Procedure for Geometry in Coq231.682004