An inversion algorithm for geometric models
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Computer-Aided Design
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Theoretical Computer Science
Designing and proving correct a convex hull algorithm with hypermaps in Coq
Computational Geometry: Theory and Applications
Intrinsic characteristics as the interface between CAD and machine vision systems
Pattern Recognition Letters
Topological operators on cell complexes in arbitrary dimensions
CTIC'12 Proceedings of the 4th international conference on Computational Topology in Image Context
Topological modifications and hierarchical representation of cell complexes in arbitrary dimensions
Computer Vision and Image Understanding
Hi-index | 0.00 |
In Helsinki, a Small but General Set of Manipulative Operations for Boundary Models of Solid Objects Has Been Used to Construct a Comprehensive Solid Modeling System.