Algebraic specification of a 3D-modeler based on hypermaps

Formal resolution of geometrical constraint systems by assembling

SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications

Triangulations in CGAL (extended abstract)

Proceedings of the sixteenth annual symposium on Computational geometry

Interacting with parametrized geometric objects using lambda-terms

Proceedings of the seventh ACM symposium on Solid modeling and applications

Parametrizing geometric objects using λ-calculus

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

Geometric Modelling with CASL

WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques

Formalizing the Trading Theorem for the Classification of Surfaces

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics

Introduction to Combinatorial Pyramids

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

Formal Program Development in Geometric Modeling

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Receptive Fields within the Combinatorial Pyramid Framework

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

Introduction to combinatorial pyramids

Digital and image geometry

Facial Animation

CA '96 Proceedings of the Computer Animation

Topological model for two-dimensional image representation: definition and optimal extraction algorithm

Computer Vision and Image Understanding

Interactive handling of a construction plan in CAD

Geometric modeling

Formalizing generalized maps in Coq

Theoretical Computer Science

Formalizing the trading theorem in Coq

Theoretical Computer Science

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

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

Formal study of plane delaunay triangulation

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

Designing and proving correct a convex hull algorithm with hypermaps in Coq

Computational Geometry: Theory and Applications

Triangulations in CGAL

Computational Geometry: Theory and Applications