RRL公司 59篇文献引用(1985–2023) 软件作者： D.卡普尔；H.张 相关软件： 收入；水獭；NQTHM… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；非结合环与代数（17-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；Guo，Philip J。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖、陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；塞杜米；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）…
地理1.1 31份文件引用(1996–2021) 软件作者： 王东明 相关软件： GeoGebra；GEX；地理信息… 主要字段： 场论与多项式（12-XX）；几何（51-XX）；数值分析（65-XX）…
海尔雨果 17篇文献引用(2000–2011) 软件作者： Groote，J.F.，Warners，J.P。 相关软件： SATO；糠；DIMACS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
布利克塞姆 15篇文献引用(1999–2012) 软件作者： de Nivelle，H。 相关软件： SPASS；水獭；TPTP… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
梦想 在11份文件中引用（2018年-2023年） 软件作者： J·A·弗鲁特 相关软件： 坚果；发光；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
洛伊 9份文件引用(2002–2021) 软件作者： J.Siekmann、S.Hess、C.Benzmüller、L.Cheikhrouhou、A.Fiedler、H.Horacek、M.Kohlhase、K.Konrad、A.Meier、E.Melis、M.Pollet、V.Sorge 相关软件： TPTP；Coq；PVS… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）
OACC公司 10篇文献引用(2013–2022) 软件作者： Soler-Toscano F、Zenil H、Delahaye J-P、Gauvrit N 相关软件： acss；组织环境信息系统；哈斯克尔… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
VSDITLU公司 9份文件引用(1999–2013) 软件作者： 亚当斯，A.A。；Gottliebsen，H。；林顿股份有限公司。；美国马丁。 相关软件： PVS；自动化；枫树… 主要字段： 群论与推广（20-XX）；实函数（26-XX）；计算机科学（68-XX）…
萨彻姆ID 6篇文献引用（1995-2004年） 软件作者： 唐纳德·洛夫兰（Donald W.Loveland）。；阿德南·H·叶海亚。 相关软件： 萨奇莫；DWAM；DCTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
临床 4份文件引用(1994–2017) 软件作者： Chu，H.，Plaisted，D.A.，理论博物馆 相关软件： iProver；E-Darvin；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
弗里普 3份文件引用(2006–2008) 软件作者： Ko B、Byun H 相关软件： 简单性；EMD；MSRA-MM… 主要字段： 计算机科学（68-XX）；系统理论；控制（93-XX）；信息与通信理论，电路（94-XX）
地理2007F 4份文件引用(2011–2018) 软件作者： de Nivelle，H。 相关软件： MiniSat；ModGen；CVC精简版… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MKRP公司 3份文件引用(1996–2005) 软件作者： 艾辛格，N.，Ohlbach，H.J 相关软件： 欧米茄；KEIM公司；利奥… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
组-Ring模块 引用于2份文件(2017–2019) 软件作者： Kobayashi，H.，Chen，L.，Murao，H。 相关软件： 多项式；深度学习；Groebner_Bases… 主要字段： 计算机科学（68-XX）
PRe学习 引用于2份文件(2022–2023) 软件作者： 约瑟夫·里夫斯（Joseph E.Reeves）。；Heule，Marijn J.H。；Randal E.布莱恩特。 相关软件： CaDiCaL；Paracooba；基萨特… 主要字段： 计算机科学（68-XX）
COMBINE公司 在0个文档中引用 软件作者： Nguyen，An N。；Quan，Tho T。；Nguyen，Phung H。；Bui，Thang H。 相关软件： z3；HIP；Java PathFinder… 主要字段： –