Author Info
Name
Affiliation
Papers
FRANÇOIS PUITG
Lab des Sciences de l'Image de l'Informatique et de la Télétection,Illkrich France
5
Collaborators
Citations 
PageRank 
3
41
4.04
Referers 
Referees 
References 
38
66
49
Title
Citations
PageRank
Year
Formalizing mathematics in higher-order logic: a case study in geometric modelling80.632000
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization30.572000
Functional specification and prototyping with oriented combinatorial maps161.162000
Formal Program Development in Geometric Modeling10.431998
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling131.261998