Jean-François Dufourd

Available identifiers

zbMath Open dufourd.jean-francoisMaRDI QIDQ396465

List of research outcomes

Publication	Date of Publication	Type
Algebraic specification and development in geometric modeling	2022-11-02	Paper
Formal study of functional orbits in finite domains	2014-12-16	Paper
Hypermap Specification and Certified Linked Implementation Using Orbits	2014-09-08	Paper
Formal specification and proofs for the topology and classification of combinatorial surfaces	2014-08-13	Paper
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4910724	2013-03-19	Paper
Designing and proving correct a convex hull algorithm with hypermaps in Coq	2012-09-11	Paper
Formal Study of Plane Delaunay Triangulation	2010-09-14	Paper
An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps	2009-09-01	Paper
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof	2008-09-16	Paper
Design and formal proof of a new optimal image segmentation program with hypermaps	2007-08-27	Paper
Formalizing generalized maps in Coq	2004-10-01	Paper
Formalizing the trading theorem in Coq	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4484338	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q4531863	2002-05-23	Paper
Sketch-based pruning of a solution space within a formal geometric constraint solver	2000-12-12	Paper
Functional specification and prototyping with oriented combinatorial maps	2000-09-04	Paper
Formalizing mathematics in higher-order logic: A case study in geometric modelling	2000-08-21	Paper
Geometric construction by assembling solved subfigures	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4332859	1997-02-16	Paper
Formal specification of topological subdivisions using hypermaps	1991-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jean-François Dufourd