A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping

Simple item page
dc.contributor.authorDufourd, Jean-Francoisen_US
dc.date.accessioned2015-10-05T07:56:09Z
dc.date.available2015-10-05T07:56:09Z
dc.date.issued1989en_US
dc.description.abstractThis paper deals with the topology of surfaces, in the boundary representation of three dimensional objects. Orientable, not orientable, closed or open surfaces are efficiently described and handled when considered as combinatorial generalized maps. An algebra of such maps is first described. Using this algebra, operations to build polyhedra step by step are next defined. That is the basis of a graphical modeler presently under consideration. The presentation uses algebraic software specification techniques in an abstract way. Finally, a systematical validation of the specification by logic prototyping is described.en_US
dc.description.seriesinformationEG 1989-Technical Papersen_US
dc.identifier.doi10.2312/egtp.19891022en_US
dc.identifier.issn1017-4656en_US
dc.identifier.urihttps://doi.org/10.2312/egtp.19891022en_US
dc.publisherEurographics Associationen_US
dc.titleA Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototypingen_US
Files
Collections
EG1989 Proceedings (Technical Papers)
EG1989 Proceedings (Technical Papers)