构造性代数拓扑
代数拓扑
2007-05-23 v1
摘要
代数拓扑中的经典“计算”方法大多借助高度无穷的对象来运作，事实上并非构造性的。文中给出典型例子以说明该问题的性质。我们回顾 Rubio-Sergeraert 关于构造性代数拓扑的解决方法。这不仅是理论上的解：具体的计算机程序 Kenzo 已被编写出来，它严格遵循该方法。该程序已在多种情形下被使用，开辟了新研究课题，并在若干情况下产生了手工无法企及的重要结果。特别地，Kenzo 程序能够计算单连通任意单纯集的第一同伦群。
引用
@article{arxiv.math/0111243,
title = {Constructive Algebraic Topology},
author = {Julio Rubio and Francis Sergeraert},
journal= {arXiv preprint arXiv:math/0111243},
year = {2007}
}
备注
24 pages, background paper for a plenary talk at the EACA Congress of Tenerife, September 1999