default search action

combined dblp search
author search
venue search
publication search

ask others

François Puitg

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2000
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comgeo/DufourdP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comgeo/DufourdP00
Jean-François Dufourd, François Puitg:
Functional specification and prototyping with oriented combinatorial maps. Comput. Geom. 16(2): 129-156 (2000)
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PuitgD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PuitgD00
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)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/adg/CaferraPP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/CaferraPP00
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

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PuitgD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PuitgD98
François Puitg, Jean-François Dufourd:
Formal Program Development in Geometric Modeling. FM-Trends 1998: 62-76
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/PuitgD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/PuitgD98
François Puitg, Jean-François Dufourd:
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. TPHOLs 1998: 401-422

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.