Functional specification and prototyping with oriented combinatorial maps

DOI10.1016/S0925-7721(00)00004-3MaRDI QIDQ1577493zbMATH OpenFDO

Authors F. Puitg, Jean-François Dufourd

Publication date 4 September 2000

Published in Computational Geometry (Search for Journal in Brave)

zbMATH Keywords

oriented combinatorial map

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Formal specification and proofs for the topology and classification of combinatorial surfaces
• Formal specification of topological subdivisions using hypermaps
• Hypermap specification and certified linked implementation using orbits
• N-DIMENSIONAL GENERALIZED COMBINATORIAL MAPS AND CELLULAR QUASI-MANIFOLDS

Cited in

(8)

• Formal specification and proofs for the topology and classification of combinatorial surfaces
• An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps
• Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
• Efficient generation of simple polygons for characterizing the shape of a set of points in the plane
• On planarity of graphs in homotopy type theory
• Formal study of functional orbits in finite domains
• Design and formal proof of a new optimal image segmentation program with hypermaps
• Hypermap specification and certified linked implementation using orbits

Describes a project that uses

Uses Software

• OCaml

This page was built for publication: Functional specification and prototyping with oriented combinatorial maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1577493)