托马斯·雷恩;阿基尔·舒尔曼 用于开发多面体对称性的C++工具。 （英语） Zbl 1295.52020号 Fukuda，Komei（编辑）等人，《数学软件——ICMS 2010》。第三届数学软件国际大会，日本神户，2010年9月13日至17日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15581-9/pbk）。计算机科学课堂讲稿6327295-298（2010）。 摘要：我们报告了最近开发的C++工具PermLib和SymPol，它们旨在支持对称多面体的高性能工作。可调用库PermLib为置换组算法和数据结构提供了基本支持。它尤其可以用于开发结合多面体组合学和计算群论方法的优化算法。SymPol软件就是这样一个应用程序，有助于检测多面体对称性并分析多面体直至对称性的面。它特别为多面体表示转换到对称性提供了成功使用的分解方法。关于整个系列，请参见[兹比尔1196.68008]. 引用于4文件 MSC公司： 52B55号 与凸性相关的计算方面 52-04 凸几何和离散几何问题的软件、源代码等 52个B05 多面体和多面体的组合特性（面数、最短路径等） 90C57型 多面体组合学，分支与绑定，分支与切割 关键词：多面体组合;对称;置换群算法;表示转换 软件：SymPol公司;PermLib（永久库） PDF格式BibTeX公司 XML格式引用 \textit{T.Rehn}和\textit{A.Schürmann}，莱克特。注释计算。科学。6327295--298（2010；Zbl 1295.52020） 全文： 内政部