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:
2007
19981997
1993Wrote 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.