里贾纳

基于Regina的计算拓扑:算法,启发式和实现。Regina是一个研究3流形三角剖分和法向曲面的软件包。它包括一个图形用户界面和Python绑定,还支持角度结构、普查计数、三角剖分的组合识别,以及3球识别、未知识别和连通和分解等高级功能。本文介绍了3流形拓扑学家对Regina的最新研究成果,并首次在文献中记录了对Regina性能至关重要的一些关键算法、启发式和实现。其中包括至关重要的简化启发法、数据结构和算法的关键选择,以缓解法向曲面枚举中的瓶颈,3球识别和连通和分解的现代实现,等等。我们还介绍了该项目的一些历史背景,包括Rubinstein在15年前的创立过程中所起的关键作用,并讨论了未来发展的当前方向。

ORMS中也引用了该软件。


zbMATH中的参考文献(参考文献40篇文章)

显示第1到第20个结果,共40个。
按年份排序(引用)
  1. 邓菲尔德,内森M.:特殊Dehn填料的普查(2020年)
  2. 更进一步,大卫;泰勒,塞缪尔J。;沃登,威廉:随机转向三角剖分不是几何的(2020)
  3. 亚历山大·科尔巴科夫;里德,艾伦W。;Riolo,Stefano:许多尖点双曲3流形不受几何约束(2020)
  4. 玛丽亚,克莱门特;Spreer,Jonathan:计算第一个Betti数有界的3-流形的Turaev-Viro不变量(\mathrmTV_4,q)的多项式时间算法(2020)
  5. 蒂尔曼,斯蒂芬:与理想三角测量相关的热带品种:怀特黑德联系补充(2020)
  6. 鲁宾斯坦,J.海姆;塞格曼,亨利;蒂尔曼,斯蒂芬:穿越三个流形三角剖分和脊椎(2019)
  7. Burton,Benjamin A.:HOMFLY-PT多项式是固定参数可处理的(2018)
  8. 伯顿,本杰明A。;玛丽亚,克莱门特;Spreer,Jonathan:Turaev-Viro不变量的算法和复杂性(2018)
  9. 戴尔,霍尔格;科穆塞维奇,基督徒;塔蒙,尼姆罗德;Weller,Mathias:PACE 2017参数化算法和计算实验挑战:第二次迭代(2018)
  10. 弗里德尔,斯特凡;吉尔,蒙特克;Tillmann,Stephan:环上3-流形群的线性表示(2018)
  11. 胡斯塔尔,克里斯托夫;斯普雷尔,乔纳森;瓦格纳,乌利:关于三角化3流形的树宽度(2018)
  12. 斯普雷尔,乔纳森;Tillmann,Stephan:标准单连通PL 4流形的三等分亏格(2018)
  13. 维斯宁,A.尤。;马特维耶夫公司。;Fominykh,E.A.:3-流形复杂性理论的新方面(2018)
  14. 布伦斯,温弗里德;西格,理查德;Söger,Christof:规范化2013-2016(2017)
  15. 伯顿,本杰明A。;Downey,Rodney G.:Courcelle三角剖分定理(2017)
  16. 卡塞拉,亚历克斯;罗、凤;蒂尔曼,斯蒂芬:理想三角剖分的伪发展地图。二: 锥流形的正向理想三角剖分(2017)
  17. Goerner,Matthias:A census of双曲柏拉图流形和增广打结三价图(2017)
  18. 托斯,Csaba D.(编辑版);古德曼,雅各布·E(编辑);O'Rourke,Joseph(编辑):《离散与计算几何手册》(2017)
  19. 伯顿,本杰明A。;莱温纳,托马斯;Paixão,João;Spreer,Jonathan:离散Morse理论的参数化复杂性(2016)
  20. 伯顿,本杰明;Spreer,Jonathan:具有传递循环自同构群的组合Seifert纤维空间(2016)