Functional specification and prototyping with oriented combinatorial maps
From MaRDI portal
Publication:1577493
DOI10.1016/S0925-7721(00)00004-3zbMath0956.68144MaRDI QIDQ1577493
F. Puitg, Jean-François Dufourd
Publication date: 4 September 2000
Published in: Computational Geometry (Search for Journal in Brave)
Related Items
An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps, Design and formal proof of a new optimal image segmentation program with hypermaps, Formal specification and proofs for the topology and classification of combinatorial surfaces, Formal study of functional orbits in finite domains, Efficient generation of simple polygons for characterizing the shape of a set of points in the plane, Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Uses Software
