Frédérique Guilhot

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Yves Bertot, Frédérique Guilhot, Assia Mahboubi
A formal study of Bernstein coefficients and polynomials. Math. Struct. Comput. Sci. 21 (4) (2011)
Frédérique Guilhot
Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée. Tech. Sci. Informatiques 24 (9) (2005)
Yves Bertot, Frédérique Guilhot, Loic Pottier
Visualizing Geometrical Statements with GeoView. Electron. Notes Theor. Comput. Sci. 103 (2004)