里贾纳

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

ORMS中也引用了该软件。


zbMATH参考文献(37篇文章引用)

显示结果1到20,共37个。
按年份排序(引用)
  1. Alexander Kolpakov;Reid,Alan W.;Riolo,Stefano:许多尖点双曲3-流形不受几何约束(2020)
  2. Maria,Clément;Spreer,Jonathan:计算第一个Betti数有界的3-流形的Turaev-Viro不变量(\mathrmTV_4,q)的多项式时间算法(2020)
  3. Rubinstein,J.Hyam;Segerman,Henry;Tillmann,Stephan:穿越三个流形三角剖分和脊椎(2019)
  4. Burton,Benjamin A.:HOMFLY-PT多项式是固定参数可处理的(2018)
  5. Burton,Benjamin A.;Maria,Clément;Spreer,Jonathan:Turaev-Viro不变量的算法和复杂性(2018)
  6. Dell,Holger;Komusiewicz,Christian;Talmon,Nimrod;Weller,Mathias:The PACE 2017参数化算法和计算实验挑战:第二次迭代(2018)
  7. Friedl,Stefan;Gill,Montek;Tillmann,Stephan:环上3-流形群的线性表示(2018)
  8. Huszár,Kristóf;Spreer,Jonathan;Wagner,Uli:关于三角化3-流形的树宽度(2018)
  9. 乔纳森·斯普雷尔;蒂尔曼、斯蒂芬:标准单连通PL 4流形的三等分属(2018)
  10. Vesnin,A.Yu.;Matveev,S.V.;Fominykh,E.A.:3-流形复杂性理论的新方面(2018)
  11. Bruns,Winfried;Sieg,Richard;Söger,Christof:Normalize 2013-2016(2017)
  12. Burton,Benjamin A.;Downey,Rodney G.:Courcelle三角剖分定理(2017)
  13. Casella,Alex;Luo,Feng;Tillmann,Stephan:理想三角剖分的伪展开图。二: 锥流形的正向理想三角剖分(2017)
  14. Goerner,Matthias:A census of双曲柏拉图流形和增广打结三价图(2017)
  15. Toth,Csaba D.(编辑);Goodman,Jacob E.(编辑);O'Rourke,Joseph(编辑):《离散与计算几何手册》(2017)
  16. 伯顿,本杰明A.;路易斯纳,托马斯;派克斯昂,乔昂;斯皮尔,乔纳森:离散莫尔斯理论的参数化复杂性(2016)
  17. Burton,Benjamin;Spreer,Jonathan:具有传递循环自同构群的组合Seifert纤维空间(2016)
  18. Dadd,Blake;Duan,Aochen:构造图八结补码的无穷多几何三角剖分(2016)
  19. Maria,Clément;Spreer,Jonathan:Turaev-Viro型不变量的3-流形三角剖分的容许着色(2016)
  20. Burton,Benjamin A.;Maria,Clément;Spreer,Jonathan:Turaev-Viro不变量的算法和复杂性(2015)