ab:几何图形和ut:ORMS 搜索在描述中带有单词"geometry"并且具有关键字ORMS(Oberwolfach数学软件注册表)的软件包.运算符"&"是默认值,可以省略.
抄送:13 | 14 搜索属于MSC第13节和第14节的文章引用的软件包.
GAP au:艾克 在"any"索引(也包括依赖项)中按软件作者搜索术语.
 搜索用Java编程的软件包,其描述包含"R"
说明: HIKMOT是一个python模块,可用于双曲3流形的验证计算.这是基于以下文件中的程序:双曲3流形的验证计算.对于给定的具有理想三角剖分的尖点3流形M,我们描述了一种通过计算机验证计算严格证明M或M的填充都允许完全双曲结构的方法.我们的方法的核心是区间算法的实现和Krawczyk的测试.这些技术代表了对现有算法的改进,因为它们更快,同时以更直接和用户友好的方式解释了错误累积.
1个出版物描述软件,包括1个出版物在zbMATH