涂鸦 227篇文献引用（1986年至2024年） 软件作者： 西米恩·法杰特洛维奇 相关软件： AutoGraphiX；图形；人力资源… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
结信息 186篇文献引用(2005–2024) 软件作者： J.C.Cha；C.利文斯顿 相关软件： SnapPy；结地图集；GitHub… 主要字段： 代数几何（14-XX）；群论与推广（20-XX）；微分几何（53-XX）…
SnapPea公司 167篇文献引用(1992–2024) 软件作者： 帕特里克·J·卡拉汉。；希尔德布兰德，马丁五世。；周，Jeffrey R。 相关软件： SnapPy；捕捉；Regina… 主要字段： 群论与推广（20-XX）；复变量函数（30-XX）；微分几何（53-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）…
自动图形X 146篇文献引用(1999–2024) 软件作者： Gilles Caporossi公司 相关软件： 涂鸦；图形；nauty… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
布吉 126篇文献引用(2007–2023) 软件作者： K.鲁斯坦·莱诺 相关软件： z3；Why3；规范#… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
坎迪斯 129篇文献引用(2005–2024) 软件作者： 罗尔夫·苏兰克·阿尔弗雷德·格雷 相关软件： Mathematica；SciPy；Python… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
K2（K2） 122篇文献引用(2004–2023) 软件作者： 马可·泰尔（Marco Thiel）、马门·罗曼诺（Mamen Romano）、安德烈·伯格纳（AndréBergner） 相关软件： TISEAN公司；图表；Matlab… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
VCC（沃尔沃汽车公司） 61篇文献引用（2010年-2023年） 软件作者： Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件： z3；布吉；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
FOCI公司 66份文件中引用(2004–2023) 软件作者： 兰吉特·贾拉（Ranjit Jhala）、肯尼思·麦克米兰（Kenneth L.McMillan） 相关软件： 公主；z3；CSIsat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
叫做古迪辛 56篇文献引用(2014–2024) 软件作者： INRIA公司；克莱门特·玛丽亚；Jean-Daniel Boissonnat；马克·格利塞（Marc Glisse）；玛丽埃特·伊维内克 相关软件： 撕裂；PHAT；酒神… 主要字段： 代数拓扑（55-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
艾达 51篇文献引用(2007–2014) 软件作者： 伊芙琳·休伯特 相关软件： DIFFALG公司；枫树；FGb… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；微分几何（53-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 大卫·诺瓦克；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
包装-X 49篇文献引用(2015–2024) 软件作者： 帕特尔，希伦H。 相关软件： FeynCalc；FeynArts；FeynRules… 主要字段： 代数拓扑（55-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；Guo，Philip J。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖、陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
流量* 49篇文献引用(2015–2024) 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；d范围；高科技… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
ell-adic-galois-images公司 46篇文献引用(2015–2024) 软件作者： 杰里米·劳斯（Jeremy Rouse）；安德鲁·萨瑟兰（Andrew V.Sutherland）。；大卫·苏莱克·伯恩 相关软件： 岩浆；LMFDB；SageMath… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
WhyML公司 引用于44份文件(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
喷气式飞机 43篇文献引用(2014–2024) 软件作者： H.Baran、M.Marvan 相关软件： CDE；宝石；SYMMGRP… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
classifyCeq.lib 42篇文献引用(1990–2023) 软件作者： 阿夫扎尔、迪巴；穆罕默德·阿赫桑·宾亚明；费尔拉·坎瓦尔Janjua 相关软件： 单一；planebranches.mws；classifyReq.lib… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
GEMPIC公司 40篇文献引用(2017–2024) 软件作者： 迈克尔·克劳斯（Michael Kraus）；Katharina Kormann；菲利普·莫里森。；埃里克·桑纳德吕克 相关软件： Vador；iPIC3D；struphy… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
PicToSeek 26篇文献引用（2001年-2010年） 软件作者： Gevers T、Smelders A公司 相关软件： VisualSEEk；NeTra；PicHunter… 主要字段： 欧氏空间（42-XX）的调和分析；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
同源性 34份文件引用(2001–2024) 软件作者： Jean-Guillaume杜马；弗兰克·赫肯巴赫（Frank Heckenbach）；大卫·桑德斯；沃尔克马尔·韦尔克 相关软件： 缺口；CHomP；大写… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；代数拓扑（55-XX）…
NISPOC公司 34份文件引用(1998–2020) 软件作者： 亚历山大·维塞尔（Aleksander Vesel）；贾尼斯·埃罗夫尼克 相关软件： Eigtool；ABC4EFT；GeneRa… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计力学，物质结构（82-XX）…
GELDA公司 33篇文献引用(1996–2018) 软件作者： 彼得·昆克尔（Peter Kunkel）、沃尔克·梅尔曼（Volker Mehrmann）、沃纳·拉思（Werner Rath）和约格·威克特（Jörg Weickert） 相关软件： 性别；罗德斯；Modelica… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SCHUR公司 引用于31份文件(1994–2023) 软件作者： 布莱恩·怀伯恩 相关软件： Mathematica；数学张量；ALPS… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）…
捕捉 30篇文献引用(1999–2019) 软件作者： 奥利弗·古德曼 相关软件： SnapPea；SnapPy；岩浆… 主要字段： \（K\）理论（19-XX）；群论与推广（20-XX）；微分几何（53-XX）…
SADE公司 23篇文献引用（2011年-2023年） 软件作者： 塔西西奥·M·罗查·菲略。；Annibal Figueiredo；纳兹、雷哈纳；汗，穆罕默德·丹麦语；伊姆兰·奈姆 相关软件： 宝石；向量场的李代数；德索尔VII… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
查龙 17篇文献引用(2000–2017) 软件作者： 拉杰夫·阿鲁尔；格鲁苏，拉杜；Hur，Yerang；维杰·库马尔；李因苏普 相关软件： 高科技；SpaceEx；酯类… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GraPHedron公司 21篇文献引用(2007–2023) 软件作者： 哈德里安·梅洛 相关软件： AutoGraphiX；鹦鹉螺；图形… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
HOL-OCL公司 13份文件引用(2002–2016) 软件作者： 阿希姆·D·布鲁克。；沃尔夫，伯克哈特 相关软件： ATL；凯伊；ETPS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
找不同 17篇文献引用(2008–2022) 软件作者： 本萨勒姆，萨德克；马吕斯·博兹加；Nguyen，Thanh-Hung；约瑟夫·西法基斯 相关软件： MONA；里奥；隔间… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
偏序集 19份文件引用(1996–2019) 软件作者： J.R·斯坦布里奇 相关软件： 考克斯仪；SF；OEIS… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
INGRID公司 16篇文献引用(1983–2017) 软件作者： 罗纳德·达顿（Ronald D.Dutton）。；罗伯特·布里厄姆（Robert C.Brigham）。 相关软件： AutoGraphiX；涂鸦；图形… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
结理论 16篇文献引用(2003–2023) 软件作者： 及巴纳丹 相关软件： 结地图集；Khoho；结景… 主要字段： 组合数学（05-XX）；非结合环与代数（17-XX）；范畴理论；同调代数（18-XX）…
庞加莱系列 15篇文献引用（2010年-2023年） 软件作者： Bedratyuk，L.P.公司。 相关软件： 麦考利2；Normaliz；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；非结合环与代数（17-XX）…
椭圆盖.lib 14篇文献引用(2015–2024) 软件作者： Janko Böhm、Kathrin Bringmann、Arne Buchholz、Hannah Markwig 相关软件： 单一；鹦鹉螺；痕迹… 主要字段： 数论（11-XX）；代数几何（14-XX）；复变量函数（30-XX）…
HOL-Boogie公司 14篇文献引用(2008–2019) 软件作者： Böhme，萨沙；Leino，K.Rustan M。；沃尔夫，伯克哈特 相关软件： Isabelle/HOL；Why3；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
BoogiePL公司 11份文件引用(2005–2020) 软件作者： DeLine，R.，Leino，K.R.M。 相关软件： z3；规范#；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
纽特基特 13份文件引用(2014–2023) 软件作者： C.种子 相关软件： github；SnapPy；打结地图集… 主要字段： 代数几何（14-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
金刚狼 11份文件引用(2012–2020) 软件作者： 乔治·魏森巴赫（Georg Weissenbacher）；Daniel Kroening；沙拉德·马利克 相关软件： 灌篮；CPA检查员；爆炸… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
短吻鳄 12份文件引用(2008–2023) 软件作者： 科瓦茨，劳拉 相关软件： Mathematica；fastZeil；Aligator.jl… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
不变量对称 12份文件引用(1999–2020) 软件作者： Uöktas，W Hereman 相关软件： 冷凝水；Mathematica；枫树… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
c2i公司 10篇文献引用（2016年-2023年） 软件作者： 拉胡尔·夏尔马（Rahul Sharma）；亚历克斯·艾肯 相关软件： z3；胡迪尼；Eldarica… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Chalice公司 10篇文献引用(2012–2022) 软件作者： K.Rustan M.Leino；彼得·米勒；简·斯曼斯 相关软件： VeriFast；布吉；毒蛇… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoxIter公司 11份文件引用(2015–2023) 软件作者： R.古列尔梅蒂。 相关软件： Mathematica；PARI/GP；SageMath公司 主要字段： 数论（11-XX）；群论与推广（20-XX）；拓扑群，李群（22-XX）…
贾霍布 11份文件引用(2007–2022) 软件作者： Kuncak，V.、Wies，T.、Zee，K.、Malkis，A.、Bouillaguet，C.、Nguyen，H.H.、Schmitt，P。 相关软件： z3；VAMPIRE公司；布吉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）
兰道.jl 11份文件引用(2022–2023) 软件作者： 塞巴斯蒂安·米泽拉；西蒙·特伦 相关软件： PolyLogTools；天秤座；加拿大… 主要字段： 特殊功能（33-XX）；量子理论（81-XX）
拓扑网络 11份文件引用(2020–2023) 软件作者： 仓子轩、郭伟伟 相关软件： 撕裂；持久性图像；TDA… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
芭蕾舞团 11份文件引用（2010年-2023年） 软件作者： Andreas Björklund、Thore Husfeldt、Petteri Kaski、Mikko Koivisto 相关软件： 图特；SageMath；GiNaC… 主要字段： 组合数学（05-XX）；数论（11-XX）；数值分析（65-XX）…
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；科瓦茨，劳拉 相关软件： AProVE；速度；TiML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
助推器 引用于9份文件(2014–2024) 软件作者： 弗朗西斯科·阿尔贝蒂；西尔维奥·吉拉尔迪；娜塔莎·莎莉吉娜 相关软件： z3；Mcmt；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
InVeSt公司 10篇文献引用(1999–2013) 软件作者： Bensalem S、Lakhnech Y、Owre S 相关软件： PVS；TREX公司；霍尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PAGAI公司 10篇文献引用(2014–2022) 软件作者： 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 相关软件： 停机坪；PPL；阿斯匹克… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
游猎 8份文件引用(2014–2020) 软件作者： Alberti，F.、Bruttomesso，R.、Ghilardi，S.、Ranise，S.和Sharygina，N。 相关软件： Mcmt；z3；助推器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
签名不变量 10篇文献引用(2019–2023) 软件作者： 乔沙·迪尔（Joscha Diehl）；杰里米·雷森斯坦 相关软件： 签字人；Diffrax；ii签名… 主要字段： 代数几何（14-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
sl2泡沫 10篇文献引用（2018年-2023年） 软件作者： Donà，彼得罗；乔治·萨尔诺 相关软件： CUDAnative.jl；CUDA.jl；GitHub… 主要字段： 拓扑群，李群（22-XX）；微分几何（53-XX）；统计学（62-XX）…
GrInvIn公司 引用于9份文件(2007–2023) 软件作者： 阿德里安·皮特斯；克里斯·库萨特（Kris Coolsaet）；冈纳·布林克曼；范·克莱恩普特（Van Cleemput），尼古拉斯（Nicolas）；Veerle法克 相关软件： 鹦鹉螺；GraPHedron；图形之家… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
Mod-p群上同调 引用于9份文件(2010–2022) 软件作者： 西蒙·金、大卫·格林 相关软件： 缺口；SageMath；奇异… 主要字段： 总体主题；藏品（00-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
SAL公司 5份文件引用(2004–2021) 软件作者： 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件： 自旋蛋白；PVS；升起… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
墨西哥煎玉米卷 6篇文献引用(2013–2021) 软件作者： 胡安·加莱奥蒂（Juan P.Galeotti）；尼古拉·罗斯纳（Nicolas Rosner）；卡洛斯·洛佩斯·蓬博（Carlos G.Lopez Pombo）；马塞洛·F·弗里亚斯 相关软件： TestEra；Java PathFinder；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简化… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
自动校对 7份文件引用(2015–2023) 软件作者： Tschannen，J。；加利福尼亚州福利亚；诺迪奥，M。；北卡罗来纳州波里卡波娃。 相关软件： 达夫尼；VCC；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
科尔曼 8份文件引用(2019–2023) 软件作者： J.S.Balakrishnan；J.Tuitman（托特曼） 相关软件： 岩浆；QCI；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；复变量函数（30-XX）…
电子伏特 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；马德斯大坝；托马斯艺术；根纳季·丘古诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
海斯特 7份文件引用(2015–2019) 软件作者： Stanley Bak、Sergiy Bogomolov、Taylor T.Johnson 相关软件： SpaceEx；CORA；C2e2… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统理论；控制（93-XX）
解释 8份文件引用(1997–2021) 软件作者： 加尔·拉里尔、马蒂亚斯·阿古德、贝特朗·珍妮特 相关软件： 停机坪；ASTREE公司；YOGI… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
萨瑟 7份文件引用(1996–2010) 软件作者： S.M.Omohundro、C.-C.Lim、J.Bilmes、， 相关软件： 埃菲尔；红宝石；回路… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿里加托.jl 7份文件引用（2018年-2023年） 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；马克西米利安·亚罗斯切克；科瓦茨，劳拉 相关软件： 鳄鱼；SymPy；z3… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
Exshall公司 7份文件引用(1997–2022) 软件作者： I.M.Navon；J.余 相关软件： DDDAS；L-BFGS；TAF… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
VACID-0型 7份文件引用(2011–2021) 软件作者： 莱诺，K.R.M.，莫斯卡尔，M。 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VeriFlow公司 7份文件引用(2016–2022) 软件作者： A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件： NetKAT；食蚁兽；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
安排 6篇文献引用(2019–2022) 软件作者： Elisa Palezzato；米歇尔·托里埃利 相关软件： CoCoALib；可可 主要字段： 组合数学（05-XX）；交换代数（13-XX）；群论与推广（20-XX）…
猫科动物 6篇文献引用(1989–2005) 软件作者： R.G.Cowell；F.J.赖特 相关软件： 单一；麦考利2；横向… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；整体分析，流形分析（58-XX）…
代码三 5份文件引用(2014–2023) 软件作者： 克里斯滕森，拉尔斯·温特；奥纳州Veliche 相关软件： 麦考利2；TorAlgebra；康威多项式 主要字段： 组合数学（05-XX）；交换代数（13-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
假马甲 6篇文献引用(2017–2021) 软件作者： 本杰明·利诺维茨；马修·斯托弗（Matthew Stover）；没事，约翰 相关软件： github；岩浆 主要字段： 数论（11-XX）；代数几何（14-XX）；群论与推广（20-XX）…
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统理论；控制（93-XX）
四次_构造 6篇文献引用(2011–2021) 软件作者： R.Lercier、C.Ritzenthaler、J.Sijsling 相关软件： 岩浆；曲线重建；GitHub… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
TPLib公司 6篇文献引用（2011年至2017年） 软件作者： 十、阿拉米吉恩 相关软件： 多品牌；热带.lib；TropLi… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
食蚁兽 5份文件引用(2013–2022) 软件作者： Mai，H.、Khurshid，A.、Agarwal，R.、Caesar，M.、Godfrey，P.、King，S.T。 相关软件： NetKAT；VeriFlow；VeriCon… 主要字段： 计算机科学（68-XX）
查理 3份文件引用(2015–2018) 软件作者： 莫尼卡·海纳；马丁·施瓦里克；简·蒂埃里·韦格纳 相关软件： 清爽；玛丽；可视化DSD… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
gmssing.lib文件 5份文件引用(2005–2023) 软件作者： 马蒂亚斯·舒尔泽 相关软件： 单一；mondromy.lib；Kan… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）
图6Java 5份文件引用(2019–2023) 软件作者： 穆罕默德·盖布勒；Ali Kanso；德拉甘·斯特瓦诺维奇 相关软件： 鹦鹉螺；踪迹；蓝色J… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；生物学和其他自然科学（92-XX）
古斯塔夫 4份文件引用(1990–2018) 软件作者： I.M.Navon；R.de Villiers先生 相关软件： 算法500；FATODE；F2PY… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
爱马仕 5份文件引用(2021–2023) 软件作者： 王锐；赵润东；Emily Ribando-Gros；陈家辉；童一英；魏国伟 相关软件： 拓扑网；古迪；AGL评分… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
HyDe公司 4份文件引用（2018年-2023年） 软件作者： Paul D.Blischak。；朱莉娅·奇夫曼（Julia Chifman）；安德烈亚·沃尔夫（Andrea D.Wolfe）。；劳拉·库巴特科（Laura S.Kubatko）。 相关软件： 阿尔法；蟒蛇；MSCquartets… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；运筹学，数学编程（90-XX）…
MARCO公司 5份文件引用(2007–2018) 软件作者： 伯曼，春天；阿尔达姆·哈尔斯；维杰·库马尔 相关软件： 高科技；PHAVer公司；流量*… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
一个最优系统 5份文件引用(2017–2023) 软件作者： 张和林；Han，钟；陈勇 相关软件： ONEOptimal；枫树；SymboLie… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
德克萨斯州 5份文件引用（2021年至2022年） 软件作者： C.Lemieux、D.Park、I.Beschatnikh 相关软件： PPTLMiner；S-TaLiRo；Daikon… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AODV公司 4份文件引用(2014–2016) 软件作者： 蒂莫西·布鲁克；彼得·霍夫纳 相关软件： HOL/SPIN；伊莎贝尔/马戏团；Isabelle/HOL… 主要字段： 计算机科学（68-XX）