Julien Narboux
Orcid: 0000-0003-3527-7184Affiliations:
- University of Strasbourg, France
According to our database1,
Julien Narboux
authored at least 28 papers
between 2004 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
1
1
3
1
1
2
2
1
1
2
1
1
2
2
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Ann. Math. Artif. Intell., December, 2023
Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving.
Proceedings of the Proceedings 14th International Conference on Automated Deduction in Geometry, 2023
2022
2021
Proceedings of the 13th International Conference on Automated Deduction in Geometry, 2021
Semantic parsing of geometry statements using supervised machine learning on synthetic data.
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
J. Symb. Comput., 2019
Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq.
J. Autom. Reason., 2019
2017
2016
Math. Comput. Sci., 2016
From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016
2015
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.
Ann. Math. Artif. Intell., 2015
2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
2012
Comput. Geom., 2012
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012
2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
Proceedings of the Certified Programs and Proofs - First International Conference, 2011
2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
2008
Proceedings of the Third Workshop on Logical and Semantic Frameworks with Applications, 2008
Proceedings of the Automated Deduction in Geometry - 7th International Workshop, 2008
2007
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).
PhD thesis, 2006
Proceedings of the Automated Deduction in Geometry, 2006
2004
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004