佩斯卡 198篇文献引用(2001–2023) 软件作者： 阿内·兰塔 相关软件： MiniML；辅酶q；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
联合 183份文件引用(1988–2021) 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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集团、Institut für Mathematik、柏林理工大学 相关软件： 岩浆；枫树；PARI/GP… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： 辅酶q；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
CMPGRD公司 129篇文献引用(1990–2024) 软件作者： Chesshire，G。；W.D.亨肖。 相关软件： 奥根；溢流；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
SYMMGRP公司。马克斯 73篇文献引用(1991–2023) 软件作者： 香槟，B。；Hereman，W。；温特尼茨，P。 相关软件： SYMMGRP；diffgrob2；谎言… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
GreatSPN公司 53篇文献引用(1988–2022) 软件作者： 朱奈德·巴巴尔；马可·贝库蒂；苏珊娜·多纳泰利（Susanna Donatelli）；安德鲁·米纳 相关软件： GreatSPN 1.7；TimeNET；CADP… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BNDSCO公司 51篇文献引用(1991–2021) 软件作者： H.Oberle；W.格林 相关软件： SOCS；Matlab；GPOPS… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
牡蛎 34份文件引用(1989–2021) 软件作者： 霍恩，克里斯蒂安；阿兰·斯梅尔 相关软件： 蛤；Nuprl；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
超防（Hyperproof） 引用于27份文件(1994–2022) 软件作者： Jon Barwise、John Etchemendy 相关软件： Speedith；伊莎贝尔；嘟嘟博士… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
瓦尼尔90 26篇文献引用(2008–2024) 软件作者： Arash A.Mostofi、Jonathan R.Yates、Young-Su Lee、Ivo Souza、David Vanderbilt、Nicola Marzari 相关软件： 量子浓缩咖啡；WIEN2k；ABINIT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
MRST-AD公司 引用于27份文件(2016–2024) 软件作者： Krogstad，S.、Lie，K.-A.、Möyner，O.、Nilsen，H.M.、Raynaud，X.、Skaflestad，B 相关软件： MRST；Matlab；MRST-co2lab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
PAG公司 20篇文献引用(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；爆破；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
第三章 在11份文件中引用（2001年至2020年） 软件作者： 黄小秋；阿努普·马丹 相关软件： 爆破；PSI-爆炸；ClustalW… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
DNA序列生成器 10篇文献引用(2002–2014) 软件作者： 费尔德坎普，乌多；萨哈菲（Sam Saghafi）；沃尔夫冈·班扎夫；希尔马尔·劳赫 相关软件： 打孔；R（右） 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
菲亚特 17篇文献引用(2015–2022) 软件作者： Delaware，B.，Claudel，C.P.，Gross，J.，Chlipala，A。 相关软件： 辅酶q；Isabelle/HOL；CertiCoq… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
DyC公司 在11份文件中引用(2000–2010) 软件作者： Grant，B.、Mock，M.、Philipose，M.和Chambers，C.、Eggers，S.J。 相关软件： VCODE；记忆法；BCEL… 主要字段： 计算机科学（68-XX）
芯片 10篇文献引用(2015–2022) 软件作者： 托马斯·哈格斯特罗姆（Thomas Hagstrom）；丹尼尔·阿佩尔 相关软件： 奥根；DG_DATH_ELASTIC_V1.0；CMPGRD… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
非SAP 10篇文献引用(1976–2013) 软件作者： 巴瑟·K·J。；威尔逊，E.L。 相关软件： 纳斯特朗 主要字段： 近似和展开（41-XX）；变分法与最优控制；优化（49-XX）；变形固体力学（74-XX）…
克莱恩代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
SOAPdenovo公司 9份文件引用(2015–2021) 软件作者： R Luo、B Liu、Y Xie、Z Li、W Huang等。 相关软件： 天鹅绒；SPAdes；ABySS… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
特克顿 5份文件引用(1994–2003) 软件作者： 卡普尔，D。；聂，X。；D.R.穆瑟。 相关软件： RRL；NQTHM；确认… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿卢夫西姆 8份文件引用(2013–2023) 软件作者： Pyrcz MJ、Boisvert J、Deutsch CV 相关软件： FLUVSIM公司；宝石；QuadCover… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
AoPA公司 8份文件引用(2009–2017) 软件作者： Mu，Shin-Cheng；Ko、Xiang-Shang；帕特里克·詹森 相关软件： 阿格达；辅酶q；Idris… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
地图制作者 5份文件引用(2000–2007) 软件作者： Lander，E.S.、Green，P.、Abrahamson，J.等人。 相关软件： R；onemap；加入映射（amp；T）… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
BS搜索器 6篇文献引用(2012–2022) 软件作者： Chen，P.Y.、S.J.Cokus、M.Pellegrini 相关软件： BSMAP；俾斯麦；B平滑… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
削减 7份文件引用(2006–2018) 软件作者： 罗德斯N、威利特P、卡维特A、邓巴JB、汉伯特C 相关软件： DIMACS；TRON；Biq Mac… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
CVPP公司 7份文件引用(2004–2015) 软件作者： 赫斯曼（Marieke Huisman）；古罗夫，帝力 相关软件： MAVEN公司；班德拉；Uppaal… 主要字段： 数论（11-XX）；统计学（62-XX）；计算机科学（68-XX）…
旗手 5份文件引用(2020–2023) 软件作者： Daniel Luetgehetmann、Dejan Govc、Jason Smith、Ran Levi 相关软件： 裂土器；GitHub；CliqueTop… 主要字段： 组合数学（05-XX）；常微分方程（34-XX）；代数拓扑（55-XX）…
皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung-Kil；凯撒，简·奥利弗；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲阿迪斯 相关软件： 辅酶q；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
宏碁 4份文件引用(2010–2021) 软件作者： B.P.Kersevan；E.Richter-Was公司 相关软件： 蟒蛇；维加斯；主持人… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
集群C 6篇文献引用(2004–2013) 软件作者： Mohseni-Zadeh，S。；Brézellec，P。；里斯勒，J.-L。 相关软件： 爆破；PSI-爆炸；算法457… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
焦点测试 6篇文献引用(2011–2018) 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；辅酶q；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
GLie公司 6篇文献引用(1992–2006) 软件作者： M.A.Ayari和V.Hussin 相关软件： SYMMGRP公司。最大值；枫树 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
MSVL公司 6篇文献引用(2019–2020) 软件作者： 王晓兵、丛田、段振华、梁昭 相关软件： 自旋蛋白；CPA检查员；CESAR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
埃尔戈 3份文件引用(2021) 软件作者： 埃利亚斯·鲁德伯格；伊曼纽尔·鲁宾森；Pawe Sa ek公司；阿纳斯塔西亚·克鲁奇尼娜 相关软件： Gabedit；SpAMM公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；量子理论（81-XX）
ESFLIB公司 4份文件引用（2001年至2012年） 软件作者： 彼得·克里斯尔（Petr Krysl）；Ted Belytschko 相关软件： Mfree2D；Matlab；梅沙赫 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）
Microlay公司 4份文件引用(1987–1997) 软件作者： 瓦舍尔，格哈德；彼得·查莫尼 相关软件： 菜单-OKF；MOD-DIST（调制数据）；位置… 主要字段： 运筹学、数学规划（90-XX）
PDEQSOL公司 4份文件引用(1992–2020) 软件作者： 尤梅塔尼，Yukio；奇佐·科诺；Ohta，塔达西 相关软件： CTADEL公司；阿尔巴；ELLPACK… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
Poly3d公司 4份文件引用(2008–2010) 软件作者： A.L.托马斯 相关软件： OpenCL；海燕；Roxar RMS… 主要字段： 可变形固体力学（74-XX）；地球物理学（86-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；德尔塔CCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
流氓 3份文件引用(2010–2013) 软件作者： 希尔斯，马克；Paul Klint；Jurgen J.文朱。 相关软件： 莫德；Stratego；Xtext… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SNARK（扫描） 3份文件引用(2009–2015) 软件作者： Stickel，M。 相关软件： Waldmeister；E定理证明器；生动… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；相对论和引力理论（83-XX）
阿兰娜 3份文件引用(2001–2010) 软件作者： R.Marchand、M.Charbonneau-Lefort、M.Dumberry、B.Pronovost 相关软件： 卡塔布兰卡；剖面波前 主要字段： 几何（51-XX）；数值分析（65-XX）；计算机科学（68-XX）…
克莱戈 3份文件引用(2011–2017) 软件作者： 霍斯特（Christoph Horst）；尤尔根路透社 相关软件： E6张量；Mathematica；SOSpin… 主要字段： 群论与推广（20-XX）；拓扑群，李群（22-XX）；数值分析（65-XX）…
冷却BOT 3份文件引用(2002–2005) 软件作者： Antonio Carlos Domínguez Brito和Francisco Jesús Santana Jorge 相关软件： – 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
信封 3份文件引用(2001–2019) 软件作者： 迈克尔·巴泽尔（Michael J.Bardzell）。 相关软件： – 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
伦敦金属交易所 3份文件引用(2010–2018) 软件作者： D.S.弗拉乔斯；T.E.西蒙斯 相关软件： Matlab公司 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
路易丝 3份文件引用(2021–2022) 软件作者： 南卡罗来纳州Patsantzis、南卡罗来纳州Muggleton。 相关软件： GitHub；梅塔戈里；GOLEM… 主要字段： 计算机科学（68-XX）
LPAKO公司 3份文件引用(2002–2012) 软件作者： Lim，Sungmook；松达尔公园 相关软件： NETLIB LP测试集；CPLEX；DEVEX… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
miTLS系统 3份文件引用(2019–2021) 软件作者： Karthikeyan Bhargavan、Cédric Fournet、Santiago Zanella-Béuelin、Benjamin Beurdouche、Antoine Delignat Lavaud、Markulf Kohlweiss、Jean Karim Zinzindohoué、Nadim Kobeissi、Alfredo Pironti、Pierre Yves Strub 相关软件： NAXOS；HaNS；CppMem；…（C）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
mkESA公司 2份文件引用(2014–2023) 软件作者： Robert Homann、David Fleer、Robert Giegerich、Marc Rehmsmeier 相关软件： CMU基准；BWA公司 主要字段： 计算机科学（68-XX）
MultiPhyl公司 2份文件引用(2010–2015) 软件作者： Keane TM、Naughton TJ、McInerney JO 相关软件： PAML；apTreeshape；R、 … 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SDE-Solver软件 3份文件引用(2003–2023) 软件作者： Aleksander Janicki；亚当·伊兹多奇克（Adam Izydorczyk）；普尔泽米斯拉夫·格拉达尔斯基 相关软件： 随机DiffEq.jl；Matlab；sdeint… 主要字段： 数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ANUB-骨料 1份文件引用(2022) 软件作者： Grillanda N.、Valente M.、Milani G。 相关软件： Matlab；LiABlock_3D；建筑实验室… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
ASTRID公司 2份文件引用(1990–1992) 软件作者： Gruber，R。；弗里克，M。；梅拉齐，S。；巴黎，P。；Tran，医学硕士。；Tran，T.M.公司。 相关软件： – 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；经典热力学，传热（80-XX）
Ciao公司 2份文件引用(2000–2010) 软件作者： Y.R.Chen、G.S.Fowler、E.Koutsofios、R.S.Wallach 相关软件： 里吉；SkuAVisit；测试Q… 主要字段： 计算机科学（68-XX）
CR1模块 2份文件引用(2023) 软件作者： 英格曼·尼尔森，T。；F.鲍姆加特纳。 相关软件： EMDPLER公司；DLMF；OWF… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；数值分析（65-XX）…
FEOS公司 2份文件引用(2019–2023) 软件作者： Faik，S。；Tauschwitz，A。；Iosilevskiy，I。 相关软件： 3DLINE；徽章；HerEOS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
GenEx公司 1份文件引用(2018) 软件作者： R.A.Kycia、J.Chwastowski、R.Staszewski、J.Turnau 相关软件： PYTHIA8；GitHub；多氧… 主要字段： 数值分析（65-XX）；统计力学，物质结构（82-XX）
食人鱼 2份文件引用(2017–2020) 软件作者： Perminov，A.S。；爱德华·库兹涅佐夫。 相关软件： GitHub；WHFast公司 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）
普拉林 1份文件引用(2017) 软件作者： V.A.Simosis；J.赫林加 相关软件： RDP2；PhyloBayes 3；分区查找器… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
拟Borel空间 2份文件引用(2017–2022) 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；HOL；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
RadCon公司 2份文件引用(2004–2005) 软件作者： Joseph L.Thorley，Roderic D.M.Page（罗德里克·D·M·佩奇） 相关软件： PHYLIP；穷人*；TreeWiz… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
拉塔普 2份文件引用(2003–2016) 软件作者： 波波夫，B.，劳什尼克，O。 相关软件： numapprox；评估；SLEEF… 主要字段： 实函数（26-XX）；近似和展开（41-XX）；数值分析（65-XX）…
SamP2Cet公司 2份文件引用(2019–2021) 软件作者： Manju，Md Abu；Candel，Math J.J.M。；范·布鲁克伦，杰拉德J.P。 相关软件： lme4；SAS；tcltk… 主要字段： 统计学（62-XX）
特征CbC 2份文件引用(2022–2023) 软件作者： 伦格，托拜厄斯；亚历克斯·波坦；托马斯·图姆；伊娜·谢弗 相关软件： 自动校对；JML；埃菲尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；GitHub；MoCHi… 主要字段： 计算机科学（68-XX）
TROVE公司 2份文件引用(2017–2018) 软件作者： 谢尔盖·N·尤尔琴科；沃尔特·泰尔；佩尔·延森 相关软件： MCTDH；ARPACK；输入。F90… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；量子理论（81-XX）…
AFLUX公司 1份文件引用(2018) 软件作者： 弗里斯科·罗斯（Frisco Rose）、科马克·托尔（Cormac Toher）、埃里克·戈塞特（Eric Gossett 相关软件： 铂；拼音；AFLOW-SYM… 主要字段： 统计力学，物质结构（82-XX）
AlmafluidaNSP系统 1份文件引用(2023) 软件作者： 彼得罗·弗雷。；马里奥·特里安特 相关软件： 毕尔巴鄂结晶服务器；数学软件 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；计算机科学（68-XX）…
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
迪玛 1份文件引用（2013年） 软件作者： 德累斯顿理工大学；Bur Bahntechnik Gmbh研究所 相关软件： VAMPIRE公司；ClearRoute；枫树 主要字段： 计算机科学（68-XX）
GMBL公司 1份文件引用(2021) 软件作者： Ryan Krueger；Han、Jesse Michael；丹尼尔·塞尔萨姆 相关软件： TensorFlow；MMP/Geometer；地理标志1.1… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）