.png){kind=icon}
.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
In algebraic topology, compact two-dimensional manifolds are usually dealt through a well-defined class of words denoting polygonal presentations. In this article, we show how to eliminate the useless bureaucracy intrinsic to word-based presentations by considering very simple combinatorial structures called pq-permutations. Thanks to their specific effectiveness, pq-permutations induce a rewriting system P able to compute, in a very easy and intuitive way, the quotient surface associated with any given polygonal presentation. The system P is shown to enjoy both the fundamental computational properties of strong normalization and strict strong confluence. (C) 2009 Wiley Periodicals, Inc. Int J Imaging Syst Technol, 19, 132-139, 2009; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ima.20186
Keyword:
algebraic topology
classification of surfaces
linear proof-theory
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。