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
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