Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；Tschantz，Matthew S。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
阿尔多 26篇文献引用(1997–2014) 软件作者： aldor.org；曼纽尔·布朗斯坦 相关软件： AXIOM；枫树；SageMath… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；范畴理论；同调代数（18-XX）…
西格玛* 14篇文献引用(2013–2022) 软件作者： 马特科·博廷坎（Matko Botinčan）、多马戈伊·巴比奇（Domagoj Babić） 相关软件： 拉利布；libalf；z3… 主要字段： 计算机科学（68-XX）
佩拉科塔 5份文件引用(2008–2021) 软件作者： Yang，J.、Evans，D.、Bhardwaj，D.、Phat，T.、Das，M。 相关软件： SMArTIC；公关经理；德克萨斯州… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
j预测器 5份文件引用(2007–2018) 软件作者： Feng Chen、Traian Florin Serbanuta、Grigore Rošu 相关软件： AVIO；QuickLex；快速通道… 主要字段： 计算机科学（68-XX）
DReX公司 4份文件引用(2015–2022) 软件作者： 拉杰夫·阿鲁尔；Loris D'Antoni；穆昆德·拉戈塔曼 相关软件： 蒙保利；卢斯特；LOLA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
堡垒 引用于3份文件(2021–2023) 软件作者： Pardeep Kaur、Arko Roy、Sandeep Gautam 相关软件： FFTW公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
KeY-ABS公司 4份文件引用(2015–2021) 软件作者： Din，Crystal Chang；理查德·布贝尔（Richard Bubel）；雷纳·哈内尔 相关软件： 防抱死制动系统；斯卡拉；算法864… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
巴杉木 2份文件引用(1986–2015) 软件作者： 马克·布朗（Marc H.Brown）、罗伯特·塞奇威克（Robert Sedgewick） 相关软件： 宙斯；重新崩溃；PLTMG… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
见证人 1份文件引用(2018) 软件作者： 汉娜·阿恩特；克里斯蒂娜·詹森（Christina Jansen）；克里斯托夫·马提亚（Christoph Matheja）；诺尔，托马斯 相关软件： 贾格诺 主要字段： 计算机科学（68-XX）