![]() | ![]() |
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] |