Functional specification and prototyping with oriented combinatorial maps

Parametrizing geometric objects using λ-calculus

SCCG '02 Proceedings of the 18th spring conference on Computer graphics

Generic Programming Techniques that Make Planar Cell Complexes Easy to Use

Digital and Image Geometry, Advanced Lectures [based on a winter school held at Dagstuhl Castle, Germany in December 2000]

Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry

XPMaps and Topological Segmentation - A Unified Approach to Finite Topologies in the Plane

DGCI '02 Proceedings of the 10th International Conference on Discrete Geometry for Computer Imagery

Generic programming techniques that make planar cell complexes easy to use

Digital and image geometry

Monitoring dynamic spatial fields using responsive geosensor networks

Proceedings of the 13th annual ACM international workshop on Geographic information systems

A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula

Proceedings of the 2007 ACM symposium on Applied computing

Design and formal proof of a new optimal image segmentation program with hypermaps

Pattern Recognition

Efficient generation of simple polygons for characterizing the shape of a set of points in the plane

Pattern Recognition

Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof

Theoretical Computer Science

An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps

Journal of Automated Reasoning

Removal and contraction operations to define combinatorial pyramids: application to the design of a spatial modeler

Image and Vision Computing

Deriving topological representations from edge images

Proceedings of the 11th international conference on Theoretical foundations of computer vision

Formal study of plane delaunay triangulation

ITP'10 Proceedings of the First international conference on Interactive Theorem Proving