PublicationsSee HAL Publication list
Talks and Seminars(not updated since 2015)
Refinements for free!
[ Slides ] presented at Imperial College on May 8, 2014.
Reasoning about big enough numbers in Coq
[Proposal | Slides | Demo] presented at the “4th Coq Workshop” in Princeton in August 2012
A construction of the discrete field of real algebraic numbers in Coq
[ Slides ] presented at the Brouwer seminar in Radboud University Nijmegen in March 2012
Formalisation de l’élimination des quantificateurs pour les corps réels clos en COQ
[ Slides ] presented at Université Rennes 1 – IRMAR in February 2012
Construction of real algebraic numbers in Coq
[ Slides ] presented at MAP 2011 and at journées GeoCal-LAC
Formalized algebraic numbers: construction and first-order theory, Cyril Cohen.
PhD Thesis, November 20, 2012.
[ PDF | Slides | BibTeX]
Old Intership reports