François Puitg

Publication Activity (10 Years)

Years Active: 1998-2000
Publications (10 Years): 0

Publications

Ricardo Caferra, Nicolas Peltier, François Puitg
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. Automated Deduction in Geometry (2000)
Jean-François Dufourd, François Puitg
Functional specification and prototyping with oriented combinatorial maps. Comput. Geom. 16 (2) (2000)
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) (2000)
François Puitg, Jean-François Dufourd
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. TPHOLs (1998)
François Puitg, Jean-François Dufourd
Formal Program Development in Geometric Modeling. FM-Trends (1998)