An OBJ3 functional specification for boundary representation
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
A model for n-dimensional boundary topology
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Parametrizing geometric objects using λ-calculus
SCCG '02 Proceedings of the 18th spring conference on Computer graphics
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Theoretical Computer Science
| Hi-index | 0.00 |