The following pages link to Jean-François Dufourd (Q396465):
Displaying 17 items.
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
- Formal study of functional orbits in finite domains (Q483296) (← links)
- Formal specification of topological subdivisions using hypermaps (Q805200) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Geometric construction by assembling solved subfigures (Q1128611) (← links)
- (Q1575662) (redirect page) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Functional specification and prototyping with oriented combinatorial maps (Q1577493) (← links)
- Sketch-based pruning of a solution space within a formal geometric constraint solver (Q1589579) (← links)
- Formalizing generalized maps in Coq (Q1882905) (← links)
- Formalizing the trading theorem in Coq (Q1882906) (← links)
- Design and formal proof of a new optimal image segmentation program with hypermaps (Q2643883) (← links)
- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls (Q2849508) (← links)
- Hypermap Specification and Certified Linked Implementation Using Orbits (Q2879255) (← links)
- (Q4910724) (← links)
