Frédérique Guilhot

According to our database, Frédérique Guilhot authored at least 3 papers between 2003 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

A formal study of Bernstein coefficients and polynomials.

Yves Bertot, Frédérique Guilhot, Assia Mahboubi

Math. Struct. Comput. Sci., 2011

2005

Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée.

Frédérique Guilhot

Tech. Sci. Informatiques, 2005

2003

Visualizing Geometrical Statements with GeoView.

Yves Bertot, Frédérique Guilhot, Loic Pottier

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003