×

希克莫

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文件

按年份列出的引文