RealPaver公司 52篇文献引用(2003–2021) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
内部解算器 3份文件引用(2013–2018) 软件作者： 蒂亚戈·蒙塔赫 相关软件： Flyspeck；Matlab；PASCAL-XSC… 主要字段： 数论（11-XX）；近似和展开（41-XX）；数值分析（65-XX）…
PolyPaver公司 3份文件引用(2014–2018) 软件作者： 米查尔·科内奇、扬·杜拉茨 相关软件： 非线性扩散；泰勒；CkAnalytic… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）