双回路振幅 30篇文献引用(2015–2022) 软件作者： 雅各布·L·布尔贾利。；雅罗斯拉夫·特伦卡 相关软件： 正电子体；超智能；剪切工具… 主要字段： 组合数学（05-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
EFTofPNG公司 14篇文献引用(2019–2023) 软件作者： 米歇尔·列维（Michele Levi）、扬·斯坦霍夫（Jan Steinhoff） 相关软件： x法案；基拉；LiteRed… 主要字段： 拓扑群，李群（22-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
短吻鳄 12份文件引用(2008–2023) 软件作者： 劳拉·科瓦奇 相关软件： Mathematica；fastZeil；Aligator.jl… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
c2i公司 10篇文献引用(2016–2023) 软件作者： 拉胡尔·夏尔马（Rahul Sharma）；亚历克斯·艾肯 相关软件： z3；胡迪尼；Eldarica… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： AProVE；速度；TiML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿里加托.jl 7份文件引用(2018–2023) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；马克西米利安·亚罗斯切克；劳拉·科瓦奇 相关软件： 鳄鱼；SymPy；z3… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
光学游戏 6篇文献引用(2001–2014) 软件作者： 曼弗雷德·海格；颈部，莱因哈德；多丽丝·贝伦斯（Doris A.Behrens）。 相关软件： Matlab；OPTCON；高斯 主要字段： 变分法与最优控制；优化（49-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SeaSyde公司 6篇文献引用(2023–2024) 软件作者： 托马索·犰狳；罗伯托·邦恰尼；西蒙·德沃托（Simone Devoto）；纳拉扬·拉纳；亚历山德罗·维奇尼 相关软件： 差异支出；AMFlow；LiteRed… 主要字段： 近似和展开（41-XX）；代数拓扑（55-XX）；数值分析（65-XX）…
H型联轴器 4份文件引用(2018–2023) 软件作者： Shinya Kanemura、Mariko Kikuchi、Kentarou Mawatari、Kodai Sakurai、Kei Yagyu 相关软件： PROPHECY4F；2衰减；HDECAY… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；量子理论（81-XX）…
HaLoop公司 引用于3份文件(2015–2022) 软件作者： Bu，Y。；Howe，B。；Balazinska，M。；医学博士恩斯特。 相关软件： 普雷格尔；旋风；Hadoop… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
估价员 引用于3份文件(2008–2010) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： 斯卡拉；Mathematica；z3… 主要字段： 计算机科学（68-XX）
爱丽丝 2份文件引用(2014–2018) 软件作者： 费维安·梅森纽夫（Vivien Maisonneuve）、奥利维尔·赫曼特（Olivier Hermant）、弗朗索瓦·伊里戈因（François Irigoin） 相关软件： ASTREE公司；烟尘；PPL… 主要字段： 计算机科学（68-XX）
代码2发票 2份文件引用(2020–2022) 软件作者： 司旭杰；Aaditya Naik；戴、韩军；Mayur Naik；宋乐 相关软件： CLN2INV公司；z3；CVC4SY… 主要字段： 计算机科学（68-XX）
DynaMate公司 1份文件引用(2015) 软件作者： Galeotti，J.P.、Furia，C.A.、May，E.、Fraser，G.、Zeller，A 相关软件： 灵华；VAMPIRE公司；KeY… 主要字段： 计算机科学（68-XX）
Absynth.jl公司 1份文件引用(2022) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；达内什瓦·阿姆罗拉希；尼古拉·比约纳；劳拉·科瓦奇 相关软件： z3（零3） 主要字段： 计算机科学（68-XX）
蝗虫 1份文件引用(2017) 软件作者： 马克·布罗克施米特（Marc Brockschmidt）；陈玉新；Kohli，Pushmeet；克利须那，悉达多；丹尼尔·塔洛 相关软件： 蚱蜢；铁人舰队；SeLoger… 主要字段： 计算机科学（68-XX）
PRINSYS公司 1份文件引用(2019) 软件作者： Gretz，F.、Katoen，J.-P.、McIver，A。 相关软件： CEGAR；Aligator.jl；风暴… 主要字段： 计算机科学（68-XX）
QuIt公司 1份文件引用(2018) 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；西蒙·罗比拉德 相关软件： VAMPIRE公司；InvGen；CVC4… 主要字段： 计算机科学（68-XX）