| |
| 2000 | ||
|---|---|---|
| 5 | EE | Ricardo Caferra, Nicolas Peltier, François Puitg: Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. Automated Deduction in Geometry 2000: 268-305 |
| 4 | Jean-François Dufourd, François Puitg: Functional specification and prototyping with oriented combinatorial maps. Comput. Geom. 16(2): 129-156 (2000) | |
| 3 | EE | François Puitg, Jean-François Dufourd: Formalizing mathematics in higher-order logic: A case study in geometric modelling. Theor. Comput. Sci. 234(1-2): 1-57 (2000) |
| 1998 | ||
| 2 | François Puitg, Jean-François Dufourd: Formal Program Development in Geometric Modeling. FM-Trends 1998: 62-76 | |
| 1 | François Puitg, Jean-François Dufourd: Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. TPHOLs 1998: 401-422 | |
| 1 | Ricardo Caferra | [5] |
| 2 | Jean-François Dufourd | [1] [2] [3] [4] |
| 3 | Nicolas Peltier | [5] |