BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dufourd:Jean=Fran=ccedil=ois

Contributed to:

SAC 20072007
FM-Trends 19981998
FME 19971997

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.