水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺（Amor Montano）、何塞·阿尔弗雷多（Jose Alfredo）；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
重新记录 171篇文献引用(1997–2024) 软件作者： 安德烈亚斯·多尔兹曼（Andreas Dolzmann）；托马斯·斯图尔姆；沃尔克·魏斯芬宁 相关软件： QEPCAD；z3；枫树… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；计算机科学（68-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
坎特/卡什 157篇文献引用(1991–2022) 软件作者： 安妮塔·克拉曼（Anita Krahman）、卡罗琳·贾斯特（Carolin Just）、克劳斯·菲克尔（Claus Fieker）、弗洛里安·赫伊（Florian Heß）、何塞·门德斯（Jose Mendez）、吉尔根·克吕内斯（Jürgen Klüners）、马库斯·瓦格纳（Marcus Wagner）、迈克尔·波赫斯特（Michael Pohst）；前作者：Andreas Hoppe、Carsten Friedrichs、Georg Baier、Harald Bartel、Hartmut Bauer、Johannes Graf v.Schmettow、Katharina Geißler、Klaus Wildanger、Maike Henningsen、Mario Daberkow、Martin Schörnig、Max Jüntgen KANT集团、德国数学研究所、柏林理工大学 相关软件： 岩浆；枫树；PARI/GP… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
马德里 139篇文献引用(1998–2024) 软件作者： R.Venkata Rao 相关软件： 电气；VIKOR；NBI… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： Luo，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
LIMbook（直线电机手册） 73篇文献引用(2016–2023) 软件作者： 路易吉·布鲁尼亚诺；费利斯·伊韦纳罗 相关软件： BiMD；商业智能；RODAS… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
NDSPMHD公司 引用于70篇文献(2012–2024) 软件作者： 丹尼尔·普莱斯（Daniel J.Price）。 相关软件： 双球面物理学；幻影；GADGET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
萨塔拉克 67篇文献引用（2010年-2023年） 软件作者： 乍得·E·布朗；安德烈亚斯·提克（Andreas Teucke）；杰夫·萨克利夫（Geoff Sutcliffe）；弗兰克·泰伊；格特·斯莫尔卡；朱利安·巴克斯；克里斯·本兹米勒 相关软件： TPTP；Isabelle/HOL；LEO-II… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
计算HEP 59篇文献引用(2006–2024) 软件作者： 亚历山大·普霍夫、亚历山大·贝利亚耶夫、尼尔·克里斯滕森 相关软件： 费恩规则；CompHep；micrOMEGAs… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
业务风险管理系统 39篇文献引用（2019年至2024年） 软件作者： 保尔·克里斯蒂安·比尔克纳 相关软件： R；斯坦；lme4… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
CompHep公司 42篇文献引用(1997–2024) 软件作者： E.Boos、V.Bunichev、M.Dubinin、L.Dudko、V.Edneral、V.Ilyin、A.Kryukov、V.Savrin、A.Semenov、A.Sherstnev 相关软件： MadGraph；CalcHEP；SHERPA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
游戏玩家 40篇文献引用(1998–2024) 软件作者： 格雷厄姆·弗莱彻（Graham D.Fletcher）。；迈克尔·施密特（Michael W.Schmidt）。；布雷特·博德（Brett M.Bode）。；戈登（Mark S.Gordon）。 相关软件： 高斯人；西北化工；ORCA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
西蒙森 引用于46份文件(2008–2023) 软件作者： Chevalier，M.、Schlater，P.、Lundbladh，A.、Henningson，D.S。 相关软件： 耐克5000；ARPACK；艾格托尔… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
球面物理学 引用于41份文件(2011–2023) 软件作者： M.Gomez Gesteira、B.D.Rogers、A.J.C.Crespo、R.A.Dalrymple、M.Narayanaswamym、J.M.Dominguez 相关软件： 双球面物理学；CUDA；OpenFOAM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
x珀特 43篇文献引用(2009–2023) 软件作者： David Brizuela；何塞·M·马丁·加西亚。；Mena Marugán，Guillermo A。 相关软件： x法案；xTras；xTensor… 主要字段： 算子理论（47-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
数据交换系统 39篇文献引用(2008–2023) 软件作者： Nedialkov，Nedialco S。；约翰·普莱斯。 相关软件： ATOMFT；pythNon；学校… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
X夏季 34份文件引用（2006年-2023年） 软件作者： 莫赫，S。；尤尔，P。 相关软件： 嵌套金额；Hypexp；表格… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
Ynot公司 34份文件引用(2008–2019) 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；Avraham Shinnar；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
空气 33篇文献引用(2010–2021) 软件作者： C.Anastasiou、A.Lazopoulos 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 代数几何（14-XX）；代数拓扑（55-XX）；整体分析，流形分析（58-XX）…
蜘蛛增压 32篇文献引用(2020–2023) 软件作者： Zhe Wang、Kaiyi Ji、Yi Zhou、Yingbin Liang、Vahid Tarokh 相关软件： 传奇；ProxSARAH；亚当… 主要字段： 变异微积分和最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
白鲸 29篇文献引用(2010–2022) 软件作者： 布里吉特·皮恩特卡；约书亚·邓菲尔德 相关软件： Twelf；阿贝拉；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）
珀尔修斯 30篇文献引用(2013–2022) 软件作者： 维迪特·南达 相关软件： 酒神；javaPlex；Gudhi… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
双回路振幅 30篇文献引用(2015–2022) 软件作者： 雅各布·L·布尔贾利。；雅罗斯拉夫·特伦卡 相关软件： 正电子体；CutTools；黑帽… 主要字段： 组合数学（05-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
NESTOR公司 27篇文献引用(1985–2017) 软件作者： G.F.库珀。 相关软件： TETRAD公司；几何导师；DENDRAL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
开放式SMT 26篇文献引用(2010–2018) 软件作者： 罗伯特·布鲁托梅索；埃德加·佩克（Edgar Pek）；娜塔莎·莎莉吉娜；阿里亚克西·齐托维奇 相关软件： z3；数学SAT5；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VASP公司 16篇文献引用（2004年-2023年） 软件作者： 尤尔根·哈夫纳；乔治·克雷塞（Georg Kresse）；多丽丝·沃滕豪伯（Doris Vogtenhuber）；马蒂恩·马斯曼 相关软件： 量子浓缩咖啡；WIEN2k；Python… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MadFKS公司 26篇文献引用（2010年-2023年） 软件作者： Rikkert Frederix、Stefano Frixione、Fabio Maltoni、Tim Stelzer 相关软件： MadGraph；CutTools；自动偶极子… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
SMT大鼠 25篇文献引用(2013–2024) 软件作者： Corzilius，F.、Kremer，G.、Junges，S.、Schupp，S.和Al brahám，E。 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数拓扑（55-XX）…
猎鹰 25篇文献引用(2019–2023) 软件作者： 皮尔雷·阿莱恩·福克、杰弗里·霍夫斯坦、保罗·基什内尔、瓦迪姆·柳巴舍夫斯基、托马斯·波宁、托马斯·布雷斯特、托马斯里科赛特、格雷戈·塞勒、威廉·怀特、张振飞 相关软件： BLISS；GeMSS；NTRUSign… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadathur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
可观察性测试 22篇文献引用(2001–2022) 软件作者： 亚历山大·塞多拉维奇 相关软件： COMBOS公司；雏菊；西安… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GraPHedron公司 21篇文献引用(2007–2023) 软件作者： 哈德里安·梅洛 相关软件： AutoGraphiX；鹦鹉螺；图形… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
PAG公司 20篇文献引用(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；BLAS；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
太阳能 引用于19份文件(1993–2022) 软件作者： Hidetomo Nabeshima、Koji Iwanuma、Katsumi Inoue、Oliver Ray 相关软件： E定理证明器；SPASS；SCIFF… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿克斯 20篇文献引用(2012–2023) 软件作者： 罗希特·查达（Rohit Chadha）、文森特·雪娃（Vincent Cheval）、特凡·乔布（tefan CiobácȘ）、史蒂夫·克莱默（Steve Kremer） 相关软件： 塔马林；AVISPA；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CIXL2号机组 17篇文献引用(2005–2014) 软件作者： Ortiz-Boyer，D。；埃尔瓦斯·马丁内斯，C。；北卡罗来纳州加西亚·佩德拉哈斯。 相关软件： 基因组学；ABC；LIBSVM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EOlib（EOlib） 13份文件引用(2002–2015) 软件作者： Keijzer，M。；梅雷洛，J.J。；罗梅罗，G。；马克·肖纳（Marc Schoenauer）；Johann Dréo，Caner Candan 相关软件： ParaDisEO；欧洲法院；MAFRA… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；生物学和其他自然科学（92-XX）…
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；阿尔法… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
德尔芬 17篇文献引用(2003–2020) 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；Coq；白鲸… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
电子显微镜 15篇文献引用(2013–2023) 软件作者： 克里斯蒂安·希姆 相关软件： Matlab；pyMOR；hapod… 主要字段： 总体主题；藏品（00-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
NGluon公司 17篇文献引用(2011–2020) 软件作者： Badger，S。；比德曼，B。；尤尔，P。 相关软件： CutTools；黑帽；HELAC-1回路… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
ONETEP公司 16篇文献引用(2007–2023) 软件作者： 彼得·海恩斯博士；尼古拉斯·海恩博士；Arash Mostofi博士；迈克·佩恩教授；克里斯·克里顿·斯凯拉里斯博士 相关软件： 午睡；ABINIT公司；CASTEP… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
特尤斯 18篇文献引用(2001–2022) 软件作者： Nadathur，G.，Mitchell，D.J。 相关软件： Twelf；阿贝拉；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
自动偶极子 16篇文献引用（2010年-2023年） 软件作者： 长谷川，K。；莫赫，S。；尤尔，P。 相关软件： MadFKS；CutTools；黑帽… 主要字段： 数论（11-XX）；数值分析（65-XX）；量子理论（81-XX）…
BenderWu公司 15篇文献引用(2016–2022) 软件作者： T.Sulejmanpasic，M.unsal 相关软件： Mathematica；BW差异；DLMF公司 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
EFTofPNG公司 在14份文件中引用(2019–2023) 软件作者： 米歇尔·列维（Michele Levi）、扬·斯坦霍夫（Jan Steinhoff） 相关软件： x法案；基拉；LiteRed… 主要字段： 拓扑群，李群（22-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
快速PT 15篇文献引用(2017–2022) 软件作者： 方，肖；乔纳森·布莱泽克（Jonathan A.Blazek）。；约瑟夫·麦克尤恩（Joseph E.McEwen）。；Christopher M.Hirata。 相关软件： 坎布；获取分配；主持人… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；量子理论（81-XX）…
MEBN公司 在11份文件中引用(2008–2018) 软件作者： 凯瑟琳·布莱克蒙·拉斯基 相关软件： 博客；PR-OWL；IBAL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
蛋白质 15篇文献引用(1994–2006) 软件作者： Baumgartner，P.，Furbach，美国。 相关软件： TPTP；SETHEO公司；水獭… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Daesa公司 在14份文件中引用(2015–2022) 软件作者： 约翰·普莱斯（John D.Pryce）、内迪亚科夫（Nedialkov）、内德（Ned）；谭广宁 相关软件： DAETS；Matlab；测试集IVP… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOPLA公司 在14份文件中引用(2002–2014) 软件作者： 米克尔·奈加德；格林·温斯克尔 相关软件： 新HOPLA 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
美国东部时间 在14份文件中引用（2017年-2023年） 软件作者： 奥利维尔·莱多特（Olivier Ledoit）；迈克尔·沃尔夫 相关软件： 选择性收缩；光谱；nlshink… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
SMTCoq公司 在14份文件中引用(2017–2022) 软件作者： Ekici，B.等人。 相关软件： Coq；Isabelle/HOL；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；几何（51-XX）…
ATESAT卫星 在11份文件中引用(1998–2018) 软件作者： 阿巴德。；Elipe，A。；Palacián，J。；桑·胡安，J.F。 相关软件： PSPC；Mathematica；数学卫星… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
CRKSPH公司 13份文件引用(2017–2022) 软件作者： 尼古拉斯·弗伦蒂尔（Nicholas Frontiere）、科迪·拉斯金（Cody D.Raskin）、迈克尔·欧文（J.Michael Owen） 相关软件： NDSPMHD；树；GADGET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
罗斯洛普 13份文件引用（2006年-2023年） 软件作者： Wehrman，I.、Stump，A.、Westbrook，E.M。 相关软件： mkbTT；AProVE；蒂罗利安… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
STrEAM公司 12份文件引用(2021–2024) 软件作者： 蒂莫西·科恩、卢小川、张正康 相关软件： SuperTracer；Matchmakereft；CoDEx… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
Treewidthlib公司 13份文件引用(2007–2016) 软件作者： Jan Willem van den Broek；汉斯·博德兰德 相关软件： ComputeTW；DIMACS；GeoSteiner… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
莫拉布 在11份文件中引用(2018–2023) 软件作者： 彼得·本纳（Peter Benner）、斯特芬·W·R·沃纳（Steffen W.R.Werner） 相关软件： MESS；径向；SOLBT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PFVIBAT公司 12份文件引用(1976–2014) 软件作者： 本特·A·阿克森。 相关软件： FEAPpv；VICONOPT公司；减少 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
第3章 10篇文献引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞盖尔 相关软件： 莫德；CRC 3；MTT… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
深度RED 在11份文件中引用(2020–2023) 软件作者： 加里·马塔耶夫、迈克尔·埃拉德、佩曼·米兰法尔 相关软件： 亚当；压缩IP；DnCNN… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
f2低压 10篇文献引用(2011–2023) 软件作者： Lee，J.、Palla，R。 相关软件： CCalc；Cplus2ASP；Coala… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
格迪纳 10篇文献引用(2019–2022) 软件作者： 马文超、吉米·德拉托雷 相关软件： 清洁发展机制；R；Mplus… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
兰道.jl 在11份文件中引用(2022–2023) 软件作者： 塞巴斯蒂安·米泽拉；西蒙·特伦 相关软件： PolyLogTools；天秤座；加拿大… 主要字段： 特殊功能（33-XX）；量子理论（81-XX）
MiniAgda公司 在11份文件中引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： Coq；阿格达；GitHub… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
ASYMPT公司 10篇文献引用(1990–2014) 软件作者： A.G.Abrashkevich、I.V.Puzynin、S.I.Vinitsky 相关软件： 马铃薯；KANTBP 2.0；POTHMF… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
DENDRAL公司 8份文件引用(1970–2005) 软件作者： 布鲁斯·布坎南。；佐治亚州萨瑟兰。；E.A.费根鲍姆。 相关软件： 几何导师；内斯特；Swift… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；统计学（62-XX）…
多模式代码 10篇文献引用(2015–2023) 软件作者： Layne C.Price、Jonathan Frazer、Jiajun Xu、Hiranya V.Peiris、Richard Eather 相关软件： SGWB内件；数字Py；Matplotlib… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；量子理论（81-XX）…
WIGGLE公司 10篇文献引用（2005年至2017年） 软件作者： Lee，Sang-Ho；金·帕尔莫；塞缪尔·克里姆 相关软件： 跛行；CUDA；博尔西语… 主要字段： 概率论与随机过程（60-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
算法967 9份文件引用(2016–2023) 软件作者： Dhairya Malhotra；乔治·比罗斯 相关软件： pvfmm；ScalFMM；exafmm… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
隐秘HOL 9份文件引用(2017–2022) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
GrInvIn公司 9份文件引用(2007–2023) 软件作者： 阿德里安·皮特斯；克里斯·库萨特（Kris Coolsaet）；冈纳·布林克曼；范·克莱恩普特（Van Cleemput），尼古拉斯（Nicolas）；Veerle法克 相关软件： 鹦鹉螺；GraPHedron；图形之家… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Verigraph公司 9份文件引用(2016–2023) 软件作者： 吉尔赫梅·格罗肖（Guilherme Grochau）阿齐兹（Azzi）；贝泽拉、乔纳斯·桑托斯；莱拉·里贝罗（Leila Ribeiro）；安德烈·科斯塔；罗德里格斯、莱昂纳多·马尔克斯；罗德里戈·马查多 相关软件： AGG；同意；Henshin… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
放大面体边界 8份文件引用(2020–2023) 软件作者： 托马斯·乌科斯基；罗伯特·莫尔曼 相关软件： 正电子体；MaTeX；数学… 主要字段： 组合数学（05-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
可乐 6篇文献引用（2017年-2023年） 软件作者： Svetlin Tassev、Matias Zaldarriaga、Daniel Eisenstein 相关软件： ECOSMOG；匹诺曹；L-PICOLA… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；粒子力学与系统（70-XX）…
完备性定理 8份文件引用(2014–2018) 软件作者： 詹姆斯·马格森；汤姆·里奇 相关软件： 存档正式证据；Isabelle/HOL；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Jordan范式 8份文件引用(2016–2024) 软件作者： 雷内·蒂埃曼；山田秋久 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；数值分析（65-XX）…
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： NewtonLib公司；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变异微积分和最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
投影CAD 8份文件引用(2014–2020) 软件作者： 英格兰，马修；戴维·威尔逊（David Wilson）；拉塞尔·布拉德福德（Russell Bradford）；詹姆斯·H·达文波特。 相关软件： 正则链；QEPCAD；MetiTarski… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
VeriML公司 8份文件引用(2010–2016) 软件作者： 安东尼斯·斯坦普利斯（Antonis Stampoulis）；邵，钟 相关软件： Coq；甲基丙烯酸甲酯；seL4… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ARTMAP公司 5份文件引用(2013–2020) 软件作者： 维格多，B。；B.勒纳。 相关软件： 模糊ARTMAP；UCI-ml；NuART-Py… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
CoqMT公司 7份文件引用(2010–2020) 软件作者： Pierre-Yves支柱 相关软件： Coq；CoqMTU；dedukti… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
热的，热的 7份文件引用(1998–2022) 软件作者： 卡斯滕·康拉德 相关软件： TPS；TPTP；数字（amp；N）… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
LRinv公司 7份文件引用(2009–2023) 软件作者： Kawabe，M.，Glück，R。 相关软件： SyReC；ROOPLPPC；GDB… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
数学组件 7份文件引用(2016–2023) 软件作者： 数学组件团队 相关软件： Coq；github；Isabelle/HOL… 主要字段： 组合数学（05-XX）；数论（11-XX）；场论与多项式（12-XX）…
mkbTT公司 7份文件引用(2008–2022) 软件作者： 莎拉·温克勒；佐藤、晴彦；阿尔特米德尔多普；正仁Kurihara 相关软件： 斯洛思罗普；蒂罗尔；KBCV… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
NEP-组件 6篇文献引用(2019–2023) 软件作者： Elias Jarlebring、Max Bennedich、Giampaolo Mele、Emil Ring、Parikshit Upadhyaya 相关软件： NLEIGS；SLEPc；NLEVP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；算子理论（47-XX）…