A formal study of Bernstein coefficients and polynomials. (English)
Math. Struct. Comput. Sci. 21, No. 4, 731-761 (2011).
1
Formalisation en coq et visualisation d’un cours de géométrie pour le lycée (English)
Technique et Science Informatiques 24, No. 9, 1113-1138 (2005).
2
Visualizing geometrical statements with geoview. (English)
Electron. Notes Theor. Comput. Sci. 103, 49-65 (2004).
3