
Search the dblp DataBase
François Puitg:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Ricardo Caferra, Nicolas Peltier, François Puitg
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 2000, pp:268305 [Conf]
 François Puitg, JeanFrançois Dufourd
Formal Program Development in Geometric Modeling. [Citation Graph (0, 0)][DBLP] FMTrends, 1998, pp:6276 [Conf]
 François Puitg, JeanFrançois Dufourd
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. [Citation Graph (0, 0)][DBLP] TPHOLs, 1998, pp:401422 [Conf]
 JeanFrançois Dufourd, François Puitg
Functional specification and prototyping with oriented combinatorial maps. [Citation Graph (0, 0)][DBLP] Comput. Geom., 2000, v:16, n:2, pp:129156 [Journal]
 François Puitg, JeanFrançois Dufourd
Formalizing mathematics in higherorder logic: A case study in geometric modelling. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:234, n:12, pp:157 [Journal]
Search in 0.002secs, Finished in 0.002secs
