Publication:4790670
From MaRDI portal
zbMath1005.68557MaRDI QIDQ4790670
Publication date: 4 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520346
68U05: Computer graphics; computational geometry (digital and algorithmic aspects)
Related Items
Verification of Closest Pair of Points Algorithms, Mechanical Theorem Proving in Tarski’s Geometry, Formal specification and proofs for the topology and classification of combinatorial surfaces, Designing and proving correct a convex hull algorithm with hypermaps in Coq, Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points, Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof, A verified ODE solver and the Lorenz attractor, Ham-sandwich cuts for abstract order types, Formalizing generalized maps in Coq, Formalization of the Poincaré disc model of hyperbolic geometry, Design and formal proof of a new optimal image segmentation program with hypermaps