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

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