雷德霍姆

ReHOHM是一套有效地计算集合同源性的软件库。该库实现了基于几何和代数约简方法的算法:非循环子空间构造、初等约化和共归约和离散Morse理论。为了减小经典的史米斯对角化方法,采用了约简的方法,由于体积复杂,对于大的输入是不令人满意的。ReHHOM可用于计算贝蒂数、扭转系数、同调生成器、持久性区间和同调诱导的映射。该库是基于C++模板的。这使得我们能够有效地实现几种还原方法,并将其用于各种络合物,特别是立方体配合物和单纯络合物。该库面向的用户只需要准备好使用独立的程序,以及需要在自己的程序中使用同源算法的程序员。ReHHOM起源于基于拓扑方法的动力系统的严格数值研究。特别是,RedHom构成CAPD(计算机辅助动态证明)项目的一部分。我们决定让ReHOM也成为一个独立的图书馆,因为它的适用性范围远远超出了原来的项目。


ZBMaX中的参考文献(12篇)1标准条款

显示结果1至12的12。
按年份排序(引文

  1. Adiprasito,Karim A.;Benedetti,布鲁诺;Lutz,Frank H.:可折叠复合物和随机离散莫尔斯理论的极值例子(2017)
  2. Gonzalez Lorenzo,阿尔多;BAC,亚历山德拉;马里,Jean Luc;实,佩德罗:允许离散Morse理论中的循环(2017)
  3. Gonzalez Lorenzo,阿尔多;朱达,Mateusz;BAC,亚历山德拉;MARI,Jean Luc;Realm,佩德罗:三维立方体复合体中贝蒂数的快速、简单和可分的计算(2016)
  4. Zeppelzauer,马蒂亚斯;Zieli-Ski-Skin,Bartosz;朱达,Mateusz;SEIDL,Markus:三维表面分析的拓扑描述符(2016)
  5. 布伦德尔,Piotr;D.Otko,PaWe;埃利斯,Graham;犹大,Mateusz;MrZek,Marian:从点云计算基本群(2015)
  6. Edelsbrunner,赫伯特;Jab-O.S.Skin,Grzegorz;MrZek,Marian:自映射的持久同调(2015)
  7. Benedetti,布鲁诺;Lutz,Frank H.:随机离散Morse理论和一个新的三角剖分库(2014)
  8. 洪,胡恩(E.);YAP,Chee(ED):数学软件——ICMS 2014。第四届国际大会,汉城,韩国,8月5日- 9, 2014。诉讼(2014)
  9. Joswig,米迦勒;Lutz,Frank H.;敦贺,Mimi:球体识别的启发式算法(2014)
  10. Mateusz犹大,MrZek,Marian:CAPD::ReHONM V2——基于还原算法的同源软件(2014)
  11. 卡钦斯基,Tomasz;MrZek,Marian:立方体上同调环:算法方法(2013)
  12. Ghrist,R;Juda,M.MrZek,M.:用同调方法分布式计算传感器网络的覆盖率(2012)