ELAN公司 106篇文献中引用（1996-2020） 软件作者： Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
K校准仪 52篇文献引用（2007年至2024年） 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
螺旋形的 46篇文献引用(2001–2023) 软件作者： 杰里米·约翰逊 相关软件： FFTW；ATLAS；火焰… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MTT公司 引用于27份文件(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
量子力学 引用于27份文件(2009–2023) 软件作者： 基辛格，亚历克斯 相关软件： 球状；PyZX；凹槽… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
火柴盒 24篇文献引用(2005–2023) 软件作者： J·沃尔德曼。 相关软件： AProVE；蒂罗尔；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
咖啡 20篇文献引用(2016–2021) 软件作者： Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly 相关软件： Firedrake；PETSc；TSFC… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
数学光学接口.jl 15篇文献引用(2021–2024) 软件作者： Benoit Legat、Oscar Dowson、Joaquim Dias Garcia、Miles Lubin 相关软件： JuMP；朱莉娅；古罗比… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
亚帕 18篇文献引用(2009–2020) 软件作者： 马修·波德特；科蒂尔、维罗尼克；斯特凡尼德劳恩 相关软件： AVISPA；阿克斯；Maude-NPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
D装货商 12份文件引用(2009–2023) 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
加勒比 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
罗斯洛普 13份文件引用(2006–2023) 软件作者： Wehrman，I.、Stump，A.、Westbrook，E.M。 相关软件： mkbTT；AProVE；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
时刻2 9份文件引用（2010年至2016年） 软件作者： 阿图尔·博罗纳特；彼得·塞巴·奥尔夫茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
条件合流 9份文件引用(2014–2022) 软件作者： 托马斯·斯特纳格尔（Thomas Sternagel）；阿尔特·米德尔多普 相关软件： 莫德；塞加瓦；CSI… 主要字段： 计算机科学（68-XX）
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
腹板-TLR 5份文件引用(2011–2016) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；哈维尔·埃斯佩特；丹尼尔·罗梅罗 相关软件： 莫德；iJulienne；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HoTTSQL 6篇文献引用(2018–2022) 软件作者： 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件： 辅酶q；链接；克莱斯利… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
IsaFoR公司 4份文件引用(2011–2016) 软件作者： 亚历山大·克劳斯；斯特纳格尔，克里斯蒂安；雷内·蒂曼；福斯，卡斯滕；吉尔根·吉斯尔 相关软件： Isabelle/HOL；CeTA；CoLoR… 主要字段： 计算机科学（68-XX）
塔姆普尔 6篇文献引用(1997–2011) 软件作者： 詹姆斯·M·博伊尔。；特伦斯·J·哈默。；维特·L·温特。 相关软件： Stratego；GHC；ATERM… 主要字段： 计算机科学（68-XX）
PSMaude公司 4份文件引用(2013–2023) 软件作者： 卢西安·本蒂亚（Lucian Bentea）；彼得·塞巴·奥维茨基 相关软件： PMaude；莫德；PVeStA… 主要字段： 计算机科学（68-XX）
CRSX公司 3份文件引用（2009-2011年） 软件作者： 罗丝，K.H。；IBM公司 相关软件： 自动化；流行标志；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GGL公司 3份文件引用(2016–2018) 软件作者： Mann，M.，Ekker，H.，Flamm，C。 相关软件： RuleMerger；VMQL；gSpan… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
RDL公司 4份文件引用(2001–2005) 软件作者： 亚历山德罗·阿曼多；卢卡·孔帕尼亚（Luca Compagna）；西尔维奥·兰伊斯 相关软件： NQTHM；ACL2；剑桥LCF… 主要字段： 计算机科学（68-XX）
游戏Pad 3份文件引用(2019–2023) 软件作者： Daniel Huang；Prafulla Dhariwal；宋，黎明；伊利亚·萨茨克沃 相关软件： E定理证明器；深度数学；FEMaLeCoP… 主要字段： 计算机科学（68-XX）
朱丽安 2份文件引用(2015) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；丹尼尔·罗梅罗 相关软件： 莫德；阿尼玛；第3章… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RAM路径 2份文件引用(2013–2016) 软件作者： Zhiyong Zhang、Jack McArdle、Aki Hamagami、Kevin Grimm；约翰·麦卡德尔、史蒂文·博克 相关软件： R；LISREL公司；扫描电镜… 主要字段： 统计学（62-XX）
XPTO公司 2份文件引用(2011) 软件作者： 弗拉维奥·费雷拉（Flávio Ferreira）、雨果·帕切科（Hugo Pacheco） 相关软件： XPath；哈斯克尔；Stratego… 主要字段： 计算机科学（68-XX）
SRBFNN公司 1份文件引用(2023) 软件作者： 王志文；陈敏新；陈景润 相关软件： MscaleDNN；亚当；DGM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）