RealPaver公司 52篇文献引用(2003–2021) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Numerica公司 48篇文献引用(1998–2023) 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；RealPaver；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国际博协 16篇文献引用(2005–2021) 软件作者： Y.利巴。 相关软件： BARON公司；数字；椰子… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…