Formal specification of topological subdivisions using hypermaps
From MaRDI portal
Publication:805200
DOI10.1016/0010-4485(91)90001-DzbMath0728.65122OpenAlexW2010476144MaRDI QIDQ805200
Publication date: 1991
Published in: CAD. Computer-Aided Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0010-4485(91)90001-d
Computer science aspects of computer-aided design (68U07) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Data structures (68P05)
Related Items (3)
Algebraic specification and development in geometric modeling ⋮ Formal specification and proofs for the topology and classification of combinatorial surfaces ⋮ Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
Uses Software
This page was built for publication: Formal specification of topological subdivisions using hypermaps