| |
| 2005 | ||
|---|---|---|
| 2 | EE | 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 | EE | Yves Bertot, Frédérique Guilhot, Loic Pottier: Visualizing Geometrical Statements with GeoView. Electr. Notes Theor. Comput. Sci. 103: 49-65 (2004) |
| 1 | Yves Bertot | [1] |
| 2 | Loic Pottier | [1] |