国际实验室 508份文件引用(1999–2024) 软件作者： 齐格弗里德·M·臀部。 相关软件： Matlab；mctoolbox；C-XSC 2.0… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
RealPaver公司 51篇文献引用（2003年至2017年） 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
INTBIS公司 31份文件引用(1990–2018) 软件作者： Kearfott，R.Baker；曼努埃尔三世诺沃亚 相关软件： INTLIB；IbexOpt；数值… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
IBEX公司 14篇文献引用(2009–2023) 软件作者： 夏伯特，G；约旦尼宁 相关软件： 丝状体++；数字；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EFSMT公司 2份文件引用(2016–2019) 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）