We stand with Ukraine  

François Puitg

According to our database1, François Puitg authored at least 5 papers between 1998 and 2000.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Formalizing mathematics in higher-order logic: A case study in geometric modelling.
[BibTeX]
[DOI]
François Puitg
,
Jean-François Dufourd
Theor. Comput. Sci., 2000

Functional specification and prototyping with oriented combinatorial maps.
[BibTeX]
[DOI]
Jean-François Dufourd
,
François Puitg
Comput. Geom., 2000

Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.
[BibTeX]
[DOI]
Ricardo Caferra
,
Nicolas Peltier
,
François Puitg
Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1998
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling.
[BibTeX]
[DOI]
François Puitg
,
Jean-François Dufourd
Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Formal Program Development in Geometric Modeling.
[BibTeX]
[DOI]
François Puitg
,
Jean-François Dufourd
Proceedings of the Applied Formal Methods, 1998


  Loading...