François Puitg

	2000
5		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		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

Coauthor Index

1	Ricardo Caferra	[5]
2	Jean-François Dufourd	[1] [2] [3] [4]
3	Nicolas Peltier	[5]

Colors in the list of coauthors