scientific article; zbMATH DE number 1863395

zbMath1005.68557MaRDI QIDQ4790670

David Pichardie, Yves Bertot

Publication date: 4 February 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2152/21520346

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Formalizing generalized maps in Coq ⋮ Verification of Closest Pair of Points Algorithms ⋮ Design and formal proof of a new optimal image segmentation program with hypermaps ⋮ A verified ODE solver and the Lorenz attractor ⋮ Formal specification and proofs for the topology and classification of combinatorial surfaces ⋮ Ham-sandwich cuts for abstract order types ⋮ 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 ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ Mechanical Theorem Proving in Tarski’s Geometry

This page was built for publication: