Visualizing Geometrical Statements with GeoView. - Yves Bertot; Frédérique Guilhot; Loic Pottier (UITP@TPHOLs, 2003)

Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée. - Frédérique Guilhot (Tech. Sci. Informatiques, 2005)

A formal study of Bernstein coefficients and polynomials. - Yves Bertot; Frédérique Guilhot; Assia Mahboubi (Math. Struct. Comput. Sci., 2011)