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）…
椰油素 14篇文献引用(2003–2016) 软件作者： COPRIN项目 相关软件： 椰子；MersenneTwister；IbexOpt… 主要字段： 差分方程和函数方程（39-XX）；数值分析（65-XX）；计算机科学（68-XX）…
别名 5份文件引用(2006–2011) 软件作者： 梅雷特，J.-P。 相关软件： INTBIS公司；数字；CFSQP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…