×

希克莫

swMATH ID: 34524
软件作者： 尼尔·霍夫曼；一原、和弘；Masahide Kashiwagi；Hidetoshi Masai；小石、神道；秋藤忠雄（Takayasu，Akitoshi）
描述： HIKMOT是一个python模块，可用于双曲3流形的验证计算。这基于以下文件中的程序：双曲3-流形的验证计算。对于给定的具有理想三角剖分的尖点3流形M，我们描述了一种通过验证的计算机计算严格证明M或M的填充都具有完整双曲结构的方法。我们方法的核心是区间算法和Krawczyk测试的实现。这些技术是对现有算法的改进，因为它们更快，同时以更直接和用户友好的方式考虑了错误累积。
主页： http://www.oishi.info.waseda.ac.jp/~takayasu/hikmot公司/
依赖项： 蟒蛇
相关软件： 快照Py；SnapPea公司；github；里贾纳；岩浆；间隙；bfh_python公司；脚蹼；Veering公司；麦考利2；Coq间隔；厚颜无耻的；Coq公司；旋风；捕捉；增强C++库；结信息
引用于： 13文件

标准条款

1出版物描述软件，包括1出版物以zbMATH为单位 年份
双曲3-流形的验证计算。 Zbl 1337.57044号
尼尔·霍夫曼；一原和弘；Masahide Kashiwagi；Hidetoshi Masai；小西，神道；秋藤忠雄（Takayasu，Akitoshi）
2016
全部的 前5名

被25位作者引用

2 塞尔曼·阿克布卢特
2 内森·邓菲尔德。
2 一原和弘
2 Hidetoshi Masai
2 丹尼尔·鲁伯曼
1 大卫·R·奥克利。
1 杰弗里·布洛克。
1 亚历克斯·卡塞拉
1 罗伯特·C·III·哈拉韦
1 尼尔·霍夫曼。
1 郑仁大
1 Masahide Kashiwagi
1 查尔斯·卡塔巴
1 Kim、Hee Jung
1 弗朗西斯科·林
1 迈克尔·利普诺夫斯基
1 保罗·M·梅尔文。
1 小西，神道
1 路易莎·保卢齐
1 佐久间，Makoto
1 秋藤忠雄（Takayasu，Akitoshi）
1 田中俊文
1 斯蒂芬·蒂尔曼
1 威廉·沃登
1 伊尔迪斯·埃利姆·泽利哈
全部的 前5名

9篇连载文章中引用

2 大阪数学杂志
2 美国数学学会会刊
2 实验数学
1 Commentarii Mathematici Helvetici评论
1 数学发明
1 爱丁堡数学学会会刊。系列II
1 拓扑及其应用
1 美国数学学会杂志
1 Gökova几何拓扑杂志

在4个字段中引用

13 流形和细胞复合体（57至XX）
1 代数拓扑（55-XX）
1 整体分析，流形分析（58至XX）
1 数值分析（65-XX）

按年份列出的引文