Julien Narboux

Enseignant-Chercheur, Université de Strasbourg, Laboratoire ICube

Documents

Identifiants chercheurs

Publications

yves-bertot

	A Coq-based Library for Interactive and Automated Theorem Proving in Plane Geometry Tuan Minh Pham , Yves Bertot , Julien Narboux The 11th International Conference on Computational Science and Its Applications (ICCSA 2011), Jun 2011, Santander, Spain. pp.368-383, ⟨10.1007/978-3-642-21898-9_32⟩ Communication dans un congrès inria-00584918v1