自动 13份文件引用(1990–2023) 软件作者： Champarnaud，J.M。；Hansel，G。 相关软件： 圣杯；AMoRE；AG… 主要字段： 一般代数系统（08-XX）；群论与推广（20-XX）；计算机科学（68-XX）
汽车 9份文件引用(2013–2020) 软件作者： Křetínsk \345]，Jan；所罗门·西克特 相关软件： MIO工作台；云母；JML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
增值税 7份文件引用(2012–2019) 软件作者： 安大略省Lengál；Šimáček，Jiří；托马斯·沃伊纳尔 相关软件： MTBDD；MONA；幻灯片… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
SReach公司 5份文件引用(2015–2022) 软件作者： Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 相关软件： ProbReach；p面；SReachTools… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
平均无故障时间 5份文件引用(2012–2019) 软件作者： 安大略省Lengál；Šimáček，Jiří；托马斯·沃伊纳尔 相关软件： 瓦塔；MONA；幻灯片… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
REBA公司 5份文件引用(2019–2023) 软件作者： 莫汉·斯里德哈兰；Michael Gelfond；张世奇；杰里米·怀亚特 相关软件： 人民；CCalc；AlphaZero… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
交流发电机2 5份文件引用(2018–2022) 软件作者： 弗兰蒂舍克·布拉胡德克；亚历山大·杜雷特·卢茨（Alexandre Duret-Lutz）；斯特雷切克，简 相关软件： SPOT；猫头鹰；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
RO模型 3份文件引用(2022) 软件作者： Johannes Wiebe；露丝·米塞纳 相关软件： ROC++；PyROS；RSOME… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
斯托贝多 2份文件引用(2019–2021) 软件作者： 埃尔万·辛甘特；罗曼·伊维内克 相关软件： – 主要字段： 测量和集成（28-XX）；概率论与随机过程（60-XX）；统计力学，物质结构（82-XX）
康帕斯 1份文件引用(2013) 软件作者： 艾丁·戈尔（Ebru Aydin Gol）；卡林·贝尔塔 相关软件： Matlab公司 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
利瓦塔 1份文件引用(2019) 软件作者： Ondrej Lengal；吉里·西马切克；托马斯·沃伊纳；马丁·赫鲁斯卡；卢卡斯·霍利克 相关软件： 餐前小吃；反链；LTL2BA… 主要字段： 计算机科学（68-XX）
ltl3tela公司 1份文件引用(2020) 软件作者： 弗兰蒂舍克·布拉胡德克；少校，尤拉杰；斯特雷切克，简 相关软件： 德拉格；猫头鹰；LTL2BA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ProSparse服务器 1份文件引用(2018) 软件作者： 吕岳明。；欧纳提维亚，乔恩；路易吉码头Dragotti 相关软件： – 主要字段： 概率论与随机过程（60-XX）；信息与通信理论，电路（94-XX）