使用polymake进行几何推理
Geometric Reasoning with polymake
摘要：
数学软件系统polymake为凸多胞体、单纯复形和其他对象提供了广泛的功能。本文的很大一部分是专门的教程，它说明了用法。后面的部分包括迄今为止在polymake的帮助下获得的研究成果的调查和技术背景的简短描述。
英文摘要：
The mathematical software system polymake provides a wide range of functions for convex polytopes, simplicial complexes, and other objects. A large part of this paper is dedicated to a tutorial which exemplifies the usage. Later sections include a survey of research results obtained with the help of polymake so far and a short description of the technical background.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
