RealPaver公司 52篇文献引用(2003–2021) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
弗兰 10篇文献引用(1997–2022) 软件作者： 柯纳尔，埃利奥特；保罗·哈达克 相关软件： 哈斯克尔；卢斯特；酯类… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
PolyPaver公司 3份文件引用(2014–2018) 软件作者： 米查尔·科内奇、扬·杜拉茨 相关软件： 非线性扩散；泰勒；CkAnalytic… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）
RangeLab公司 3份文件引用(2018–2021) 软件作者： 马特尔，M。 相关软件： PRECiSA公司；促进；Boost Interval算术… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）