hikmot公司

HIKMOT是一个python模块,可用于双曲3流形的验证计算。这是基于以下文献中的程序:双曲3流形的验证计算。对于给定的具有理想三角剖分的尖点3流形M,我们描述了一种通过计算机验证计算严格证明M或M的填充都允许完全双曲结构的方法。我们的方法的核心是区间算法的实现和Krawczyk的测试。这些技术代表了对现有算法的改进,因为它们更快,同时以更直接和用户友好的方式解释了错误累积。