Frédérique Guilhot

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 Frédérique Guilhot: Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée. Technique et Science Informatiques 24(9): 1113-1138 (2005)

2004

1 Yves Bertot, Frédérique Guilhot, Loic Pottier: Visualizing Geometrical Statements with GeoView. Electr. Notes Theor. Comput. Sci. 103: 49-65 (2004)

	2005
2		Frédérique Guilhot: Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée. Technique et Science Informatiques 24(9): 1113-1138 (2005)
	2004
1		Yves Bertot, Frédérique Guilhot, Loic Pottier: Visualizing Geometrical Statements with GeoView. Electr. Notes Theor. Comput. Sci. 103: 49-65 (2004)

Coauthor Index