希克莫 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_蟒蛇;脚蹼;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 坂本真久 1 秋藤忠雄(Takayasu,Akitoshi) 1 田中俊文 1 斯蒂芬·蒂尔曼 1 威廉·沃登 1 伊尔迪斯·埃利姆·泽利哈 全部的 前5名9篇连载文章中引用 2 大阪数学杂志 2 美国数学学会会刊 2 实验数学 1 Commentarii Mathematici Helvetici评论 1 数学发明 1 爱丁堡数学学会会刊。系列II 1 拓扑及其应用 1 美国数学学会杂志 1 哥科娃几何拓扑杂志 在4个字段中引用 13 流形和细胞复合体(57至XX) 1 代数拓扑(55-XX) 1 整体分析,流形分析(58至XX) 1 数值分析(65-XX) 按年份列出的引文