CORA公司 35篇文献引用(2016–2023) 软件作者： 马蒂亚斯·阿尔霍夫（Matthias Althoff）、尼古拉斯·科奇杜姆普（Niklas Kochdumper） 相关软件： 流量*；SpaceEx；C2e2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
基准 28篇文献引用(2005–2023) 软件作者： 斯特凡·拉特肖恩（Stefan Ratschan）；她，志坤 相关软件： RSOLVER公司；HSolver；高科技… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
软糖 29篇文献引用（2009年-2023年） 软件作者： 吉里·罗恩 相关软件： 国际实验室；mctoolbox；mftoolx… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
FORTRAN-XSC公司 8份文件引用(1993–2000) 软件作者： 沃尔特，W.V。 相关软件： PASCAL-XSC；C-XSC；ACRITH-XSC… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
COSMOS公司 6篇文献引用(2013–2021) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： 棱镜；Ymer；VESTA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HASL公司 6篇文献引用(1986–2016) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： COSMOS；Uppaal；棱镜… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
夏洛克 6篇文献引用(2019–2022) 软件作者： Souradeep杜塔；陈欣；Jha，Susmit；桑卡拉纳拉亚南，斯里拉姆；阿什什·蒂瓦里 相关软件： NNV；Reluplex；CORA… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
PolyPaver公司 引用于3份文件(2014–2018) 软件作者： 米查尔·科内奇、扬·杜拉茨 相关软件： CkAnalytic；泰勒；大写… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）
ITPN-全焊 1份文件引用(2021) 软件作者： 艾琳娜·帕西尼·诺莫维奇（Elina Pacini Naumovich）；Simona Bernardi；马可·格里鲍多 相关软件： —— 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
FP泰勒 1份文件引用(2022) 软件作者： 索洛维耶夫，阿列克谢；Baranowski，Marek S。；Briggs Ian；查尔斯·雅各布森；茨沃尼米尔·拉卡马里奇；加内什·戈帕拉克里什南 相关软件： dReal；HOL灯；QEPCAD… 主要字段： 计算机科学（68-XX）