×

hikmot公司

swMATH标识: 34524
软件作者: 尼尔·霍夫曼;一原一郎,和硕;Kashiwagi,Masahide;Masai,Hidetoshi;大石,新一;高桥,秋东明
说明: HIKMOT是一个python模块,可用于双曲3流形的验证计算。这是基于以下文件中的程序:双曲3流形的验证计算。对于给定的具有理想三角剖分的尖点3流形M,我们描述了一种通过计算机验证计算严格证明M或M的填充都允许完全双曲结构的方法。我们的方法的核心是区间算法的实现和Krawczyk的测试。这些技术代表了对现有算法的改进,因为它们更快,同时以更直接和用户友好的方式解释了错误累积。
主页: http://www.oishi.info.waseda.ac.jp/~ takayasu/hikmot公司/
依赖项: 蟒蛇
相关软件: 敏捷;斯内帕;github;小蟒蛇;里贾纳;岩浆;差距;转向;麦考拉2;Coq间隔;厚颜无耻的;可口可乐;旋风;咬合;Boost C++库;结信息
引用于: 12种出版物

按年份列出的引文