Formal specification of topological subdivisions using hypermaps
type: Item
instance of: scholarly article
title: Formal specification of topological subdivisions using hypermaps
zbMATH Open document ID: 0728.65122
DOI: 10.1016/0010-4485(91)90001-D
author: Jean-François Dufourd
published in: CAD. Computer-Aided Design
publication date: 1991-01-01T00:00:00Z
review text: The paper gives an extensive list of pseudocode specifications (adapted mostly to the database language OBJ3) for the implementation of the ideas of \textit{P. Lienhardt} [Topological models for boundary representation: a comparison with N-dimensional generalized maps, ibid. 23, No.1, 59-82 (1991)] for the representation of combinatorial data and combinatorial operations in 2-dimensional combinatorial topology; the exposition depends heavily on the terminology introduced by Lienhardt for which definitions are not repeated here.
Mathematics Subject Classification ID: 65D18
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68U07
zbMATH DE Number: 4203666
zbMATH Keywords: topological subdivisions
zbMATH Keywords: combinatorial data
zbMATH Keywords: combinatorial operations
zbMATH Keywords: combinatorial topology
reviewed by: Heinrich Guggenheimer
describes a project that uses: OBJ3
describes a project that uses: Miranda
MaRDI profile type: Publication
full work available at URL: 0010-4485(91)90001-d
OpenAlex ID: W2010476144
description: scientific article; zbMATH DE number 4203666