Author:
Dehlinger Christophe,Dufourd Jean-François
Subject
Computational Mathematics,Computational Theory and Mathematics,Control and Optimization,Geometry and Topology,Computer Science Applications
Reference44 articles.
1. Interactive Theorem Proving and Program Development – Coq'Art: The Calculus of Inductive Construction;Bertot,2004
2. Some topological properties of surfaces in Z3;Bertrand;J. Math. Imaging Vis.,1999
3. Algebraic specification of a 3D-modeler based on hypermaps;Bertrand;Graph. Models Image Process.,1994
4. Representing geometric structures in d dimensions: topology and order;Brisson,1989
5. Designing and proving correct a convex hull algorithm with hypermaps in Coq;Brun;Comput. Geom. Theory Appl.,2012
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献