×

红磡

swMATH ID: 8776
软件作者： 马特乌斯·朱达；玛丽安·姆罗泽克
描述： RedHom是一个用于有效计算集合同源性的软件库。该库实现了基于几何和代数约简方法的算法：非循环子空间构造、初等约简和互约简以及离散莫尔斯理论。采用约简方法加快了经典Smith对角化方法的速度，该方法由于立方复杂度，对于大输入来说速度慢得令人不满意。RedHom可用于计算Betti数、扭转系数、同源生成器、持续时间间隔和同源诱导的映射。该库基于C++模板。这使我们能够有效地实现几种还原方法，并将其用于各种络合物，特别是立方络合物和单形络合物。该库面向只需要现成的独立程序的用户，以及需要在自己的程序中使用同源算法的程序员。RedHom起源于基于拓扑方法的动力系统严格数值研究。特别是，RedHom是CAPD（动力学中的计算机辅助证明）项目的一部分。我们决定将RedHom也作为一个单独的库提供，因为它的适用范围远远超出了最初的项目。
主页： http://redhom.ii.uj.edu.pl/
相关软件： 间隙;CHomP公司;CAPD（机顶盒）;三角剖分库;PHAT公司;多晶的;狄奥尼索斯;简单复杂库;英仙座;SageMath公司;HAP公司;三角帆;Polymake.jl公司;github;同源性;里贾纳;ChainCon公司;R（右）;自由裁量权;英特尔TBB
引用于： 13文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
CAPD：：RedHom v2–基于简化算法的同源软件。 Zbl 1402.57021号
马特乌斯·朱达;玛丽安·姆罗泽克
2014
全部的 前5名

24位作者引用

5 马特乌斯·朱达
5 玛丽安·姆罗泽克
4 弗兰克·黑根·卢茨
2 亚历山大·巴克
2 布鲁诺·贝内代蒂
2 Dłotko，Paweł
2 奥尔多·冈萨雷斯-洛伦佐
2 迈克尔·乔斯维格
2 Jean-Luc Mari
2 雷亚尔，佩德罗
2 Mimi Tsuruga公司
1 卡里姆·亚历山大·阿迪普拉西托
1 彼得·布伦德尔
1 赫伯特·埃德尔斯布伦纳
1 格雷厄姆·埃利斯。
1 Robert W.Ghrist。
1 Hoon Hong
1 格热戈兹·贾布隆斯基
1 托马斯·卡钦斯基
1 戴维·洛法诺
1 马库斯·塞德尔
1 Yap，Chee-Keng先生
1 齐佩尔、马提亚斯
1 巴托斯·齐连斯基
全部的 前5名

7篇连载文章中引用

2 工程、通信和计算中的应用代数
2 计算数学基础
1 拓扑及其应用
1 离散和计算几何
1 实验数学
1 计算机科学课堂讲稿
1 应用与计算拓扑杂志
全部的 前5名

在9个字段中引用

10 代数拓扑（55-XX）
6 凸和离散几何（52至XX）
6 流形和细胞复合体（57至XX）
5 计算机科学（68至XX）
2 范畴理论；同调代数（18-XX）
2 数值分析（65-XX）
1 总体主题；集合（00-XX）
1 组合数学（05-XX）
1 动力系统和遍历理论（37至XX）

按年份列出的引文