`Travelled to:`

1 × Austria

1 × Germany

1 × Korea

`Collaborated with:`

∅ F.Puitg D.Cazier Y.Bertrand J.Françon P.Lienhardt

`Talks about:`

geometr (2) develop (2) model (2) framework (1) subdivis (1) hypermap (1) theorem (1) program (1) formula (1) boolean (1)

## Person: Jean-François Dufourd

### DBLP: Dufourd:Jean=Fran=ccedil=ois

### Contributed to:

### Wrote 4 papers:

- SAC-2007-Dufourd #framework #proving #theorem
- A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler’s formula (JFD), pp. 757–761.
- FM-1998-PuitgD #development #geometry #modelling
- Formal Program Development in Geometric Modeling (FP, JFD), pp. 62–76.
- FME-1997-CazierD #2d #set #term rewriting
- Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects (DC, JFD), pp. 605–623.
- TAPSOFT-1993-BertrandDFL #algebra #development #geometry #modelling #specification
- Algebraic Specification and Development in Geometric Modeling (YB, JFD, JF, PL), pp. 75–89.