Frédérique Guilhot

	2011
3		Yves Bertot, Frédérique Guilhot, Assia Mahboubi: A formal study of Bernstein coefficients and polynomials. Mathematical Structures in Computer Science 21(4): 731-761 (2011)
	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

1	Yves Bertot	[1] [3]
2	Assia Mahboubi	[3]
3	Loïc Pottier (Loic Pottier)	[1]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page