Jean-François DUFOURD
Jean-François DUFOURD
Professor of Computer Science, University of Strasbourg
Verified email at - Homepage
Cited by
Cited by
Algebraic specification of a 3D-modeler based on hypermaps
Y Bertrand, JF Dufourd
CVGIP: Graphical Models and Image Processing 56 (1), 29-60, 1994
Geometric construction by assembling solved subfigures
JF Dufourd, P Mathis, P Schreck
Artificial Intelligence 99 (1), 73-119, 1998
Sketch-based pruning of a solution space within a formal geometric constraint solver
C Essert-Villard, P Schreck, JF Dufourd
Artificial Intelligence 124 (1), 139-159, 2000
Higher-order intuitionistic formalization and proofs in Hilbert’s elementary geometry
C Dehlinger, JF Dufourd, P Schreck
International Workshop on Automated Deduction in Geometry, 306-323, 2000
Algebraic specification and development in geometric modeling
Y Bertrand, JF Dufourd, J Françon, P Lienhardt
Colloquium on Trees in Algebra and Programming, 75-89, 1993
Functional specification and prototyping with oriented combinatorial maps
JF Dufourd, F Puitg
Computational Geometry 16 (2), 129-156, 2000
Designing and proving correct a convex hull algorithm with hypermaps in Coq
C Brun, JF Dufourd, N Magaud
Computational Geometry 45 (8), 436-457, 2012
Formal resolution of geometrical constraint systems by assembling
JF Dufourd, P Mathis, P Schreck
Proceedings of the fourth ACM symposium on Solid modeling and applications …, 1997
Formal study of plane Delaunay triangulation
JF Dufourd, Y Bertot
International Conference on Interactive Theorem Proving, 211-226, 2010
Algebras and formal specifications in geometric modelling
JF Dufourd
The Visual Computer 3 (13), 131-154, 1997
Formal specification of topological subdivisions using hypermaps
JF Dufourd
Computer-Aided Design 23 (2), 99-116, 1991
An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
JF Dufourd
Journal of Automated Reasoning 43 (1), 19-51, 2009
A formal specification of geometric refinements
D Cazier, JF Dufourd
Visual Computer 15 (6), 279-301, 1999
Formal specification and theorem proving breakthroughs in geometric modeling
F Puitg, JF Dufourd
International Conference on Theorem Proving in Higher Order Logics, 401-422, 1998
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
JF Dufourd
Theoretical Computer Science 403 (2-3), 133-159, 2008
An OBJ3 functional specification for boundary representation
JF Dufourd
Proceedings of the first ACM symposium on Solid modeling foundations and CAD …, 1991
A digitisation algorithm for the entry of planar maps
JF Dufourd, C Gross, JC Spehner
New Advances in Computer Graphics, 649-662, 1989
Algebraic map-based topological kernel for polyhedron modellers: algebraic specification and logic prototyping
JF Dufourd
Proc. of Eurographics, 649-662, 1989
Formalizing mathematics in higher-order logic: A case study in geometric modelling
F Puitg, JF Dufourd
Theoretical Computer Science 234 (1-2), 1-57, 2000
Design and formal proof of a new optimal image segmentation program with hypermaps
JF Dufourd
Pattern Recognition 40 (11), 2974-2993, 2007
The system can't perform the operation now. Try again later.
Articles 1–20