有限元分析 213篇文献引用(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；ABAQUS；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
米兰达 155份文件引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
MONA公司 142篇文献引用(1995–2023) 软件作者： 克拉伦德，尼尔斯；莫勒，安德斯；迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。；J·埃尔加德。 相关软件： z3；DCVALID；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
有限责任公司 79份文件引用(2006–2023) 软件作者： Lattner，C.，Adve，V。；伊利诺伊大学 相关软件： z3；朱莉娅；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ELAN公司 106篇文献引用(1996–2020) 软件作者： 彼得·博罗万斯基（Peter Borovansky）、埃里克·德普拉涅（Eric Deplagne）、克劳德·基什内尔（Claude Kirchner）、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳（Pierre-Etienne Moreau）、克里斯托夫·林盖森（Christophe 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
双球面物理学 90篇文献引用(2015–2024) 软件作者： 克雷斯波，A.J.C。；Domínguez，J.M。；罗杰斯，B.D。；戈梅斯·盖斯特拉，M。；Longshaw，S。；坎内拉斯，R。；瓦康迪奥，R。；巴雷罗，A。；俄亥俄州加西亚·菲尔。 相关软件： CUDA；球面物理学；GADGET… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
努姆巴 48篇文献引用(2016–2024) 软件作者： S.K.Lam、A.Pitrou、S.Seibert 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
水银 75篇文献引用（1994年至2022年） 软件作者： mercurylang.org网站 相关软件： 哈斯克尔；幼儿保育和教育；咖喱… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
蛋糕ML 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
玩具 56篇文献引用（2001年至2022年） 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
信号 51份文件中引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
SWASHES公司 引用于53份文件(2012–2023) 软件作者： Delestre，O.、Lucas，C.、Ksinant，P.-A.、Darboux，F.、Laguerre，C.、Vo，T.-N.-T.、James，F.和Cordier S。 相关软件： HLLE；HE-E1GODF；MOOD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CDuce公司 48篇文献引用(2003–2020) 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 相关软件： XDouce；XQuery；XPath… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CARAT公司 46篇文献引用(1998–2023) 软件作者： J.Opgenorth，W.Plesken，T.Schulz；弗兰兹·盖勒 相关软件： 间隙；岩浆；HAP… 主要字段： 数论（11-XX）；代数几何（14-XX）；群论和推广（20-XX）…
PolyLib公司 46篇文献引用(1996–2019) 软件作者： Loechner，V。；多兰·王尔德。 相关软件： PPL；高科技；LattE… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
CIL公司 33篇文献引用(2002–2022) 软件作者： Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W。 相关软件： 爆炸；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
laGP公司 33篇文献引用(2014–2024) 软件作者： 罗伯特·B·格拉米奇 相关软件： R；DiceKriging；tgp… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
转发差异 28篇文献引用(2017–2023) 软件作者： Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件： 朱莉娅；github；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏斯米特；Strniša，罗克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
FFC公司 31份文件引用(2005–2023) 软件作者： A.Logg、K.B.Ølgaard、M.E.Rognes、G.N.Wells 相关软件： FEniCS；道芬；菲亚特… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MediaBench公司 在16份文件中引用(2001–2016) 软件作者： Lee，C.，Potkonjak，M.，Mangione-Smith，W.H。 相关软件： MiBench公司；简单标尺；瓦茨… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）…
OpenModelica公司 25篇文献引用(2008–2022) 软件作者： 彼得·弗里茨森 相关软件： Modelica；Dymola；JModelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAKCS公司 25篇文献引用(1994–2020) 软件作者： M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner 相关软件： 玩具；咖喱；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SPHinXsys公司 26篇文献引用(2021–2024) 软件作者： 张驰、马苏德·雷扎万、朱玉洁、余永川、吴栋、张文斌、王建航、胡香玉 相关软件： 双球面物理学；GADGET公司；幻影… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
TSFC公司 23篇文献引用（2016年至2022年） 软件作者： 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件： Firedrake；PETSc；UFL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
项目Q 17篇文献引用(2019–2024) 软件作者： Damian S.Steiger、Thomas Häner、Matthias Troyer 相关软件： qHiPSTER；液体；Python… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）…
灵活 22篇文献引用(1990–2009) 软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S 相关软件： 皮克特；毫升；JoCaml… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
皇家卫星 18篇文献引用(2008–2016) 软件作者： 结Pipatsrisawat；阿德南·达维切 相关软件： MiniSat；糠；PicoSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
通量 11份文件引用(2020–2024) 软件作者： Innes M酒店 相关软件： 朱莉娅；微分方程.jl；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
液体 在13份文件中引用(2018–2023) 软件作者： Dave Wecker、Krysta M.Svore 相关软件： qHiPSTER；项目Q；Python… 主要字段： 数论（11-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
OCCA公司 18篇文献引用(2015–2022) 软件作者： 大卫·麦地那；St-Cyr，Amik；蒂莫西·沃伯顿 相关软件： Gmsh；PETSc；PyFR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
StreamIt（流媒体） 11份文件引用(2002–2020) 软件作者： StreamIt开发者；Thies，W.、Karczmarek，M.、Amarasinghe，S。 相关软件： 电报CQ；z3；剑道… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
无级变速器 18篇文献引用(1998–2021) 软件作者： 普努利，A。；Shtrickman，O。；西格尔，M。 相关软件： TVOC；CVC；系统C… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
C制动器 14篇文献引用(2009–2023) 软件作者： 马丁·K。；B.霍夫曼。 相关软件： 增强C++库；促进；LAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
弗拉维奥 11份文件引用(2019–2024) 软件作者： D.M.斯特劳布等人。 相关软件： 威尔逊；SMEFTsim；DsixTools… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；粒子力学与系统（70-XX）…
低MC 在16份文件中引用(2018–2023) 软件作者： Rechberger，C。；Soleimany，H。；蒂森，T。 相关软件： MiMC；MARVELlous公司；文明… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ScaffCC公司 11份文件引用(2017–2023) 软件作者： Ali JavadiAbhari、Shruti Patil、Daniel Kudrow、Jeff Heckey、Alexey Lvov、Frederic Chong和Margaret Martonosi 相关软件： 奎珀；项目Q；GitHub… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
CompCertTSO公司 14篇文献引用(2013–2022) 软件作者： 什耶夫切克，雅罗斯拉夫；维克多·瓦菲亚迪斯；弗朗切斯科，扎帕·纳尔德利；苏雷什·贾甘纳森；彼得·休厄尔 相关软件： Coq；CompCert；皮尔斯纳… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
ObliVM公司 14篇文献引用(2017–2023) 软件作者： Liu，C.，Wang，X.，Nayak，K.，Huang，Y.，Shi，E。 相关软件： ABY；JustGarble；义务-C… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
凯撒 11份文件引用（2004年至2021年） 软件作者： 休伯特·加拉维；Wendelin Serwe；INRIA罗纳阿尔卑斯山 相关软件： CADP；NUPN_INFO；caesar.bdd… 主要字段： 计算机科学（68-XX）
数模转换器 12份文件引用(2001–2021) 软件作者： 勒博·G·J。；Lumpkin F.E.Iii公司 相关软件： 微笑；dsmcFoam；SPARTA… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
夏普 11份文件引用(2015–2023) 软件作者： Muise，C.、McIlraith，S.A.、Beck，J.C.、Hsu，E.I。 相关软件： sharpSAT；htd；countAntom… 主要字段： 计算机科学（68-XX）
DyC公司 11份文件引用(2000–2010) 软件作者： Grant，B.、Mock，M.、Philipose，M.和Chambers，C.、Eggers，S.J。 相关软件： VCODE；记忆法；BCEL… 主要字段： 计算机科学（68-XX）
ESRA公司 11份文件引用(2004–2022) 软件作者： 皮埃尔·弗莱纳（Pierre Flener）；贾斯汀·皮尔逊（Justin Pearson）；奥格伦，马格纳斯 相关软件： 本质；锌；NP-SPEC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
希特朗 9份文件引用(2006–2016) 软件作者： 劳伦斯·S·罗斯曼 相关软件： HITEMP；TauREx公司；Python… 主要字段： 积分方程（45-XX）；数值分析（65-XX）；流体力学（76-XX）…
孩子们 11份文件引用(1992–2021) 软件作者： D.R.史密斯 相关软件： 定理；ALISA；TAMPR… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
NOrec公司 11份文件引用(2010–2022) 软件作者： Dalesandro，L.、Spear，M.F.、Scott，M.L。 相关软件： 环STM；TLRW；柔道STM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
jPlex公司 11份文件引用(2011–2021) 软件作者： 哈兰塞克斯顿；米凯尔·维杰德莫·约翰逊 相关软件： 酒神；珀尔修斯；Gudhi… 主要字段： 代数拓扑（55-XX）；统计学（62-XX）；数值分析（65-XX）…
SCAMP公司 7份文件引用(1991–2011) 软件作者： 赫伯特·M·索罗（Herbert M.Sauro）。；大卫·A·费尔。 相关软件： 格帕西；虚拟细胞；电子电话… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
考拉 10篇文献引用(2010–2013) 软件作者： 马丁·格布瑟（Martin Gebser）；托尔斯滕·格罗特；托尔斯滕·绍布 相关软件： CCalc；f2lp；Cplus2ASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
KITTeL公司 10篇文献引用(2011–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；卡普尔，迪帕克；卡斯滕·辛兹 相关软件： z3；控制；Yices… 主要字段： 计算机科学（68-XX）
扣 9份文件引用(2012–2021) 软件作者： 马丁·格布瑟（Martin Gebser）；罗兰·卡明斯基（Roland Kaminski）；穆拉特·奈赫特（Murat Knecht）；托尔斯滕·绍布 相关软件： PDDL；克林戈；ROSoClingo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
森林 7份文件引用(2019–2023) 软件作者： Robert S.Smith、Michael J.Curtis、William J.Zeng 相关软件： github；openQASM；Quipper… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
MaJIC公司 8份文件引用(2001–2016) 软件作者： 乔治·阿尔马西（George Almasi）；大卫·A·帕多瓦。 相关软件： Matlab；R；ScaLAPACK… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
小埃菲尔 9份文件引用(2001–2011) 软件作者： 奥利维埃·泽德拉（Olivier Zendra）；多米尼克·科尔内 相关软件： 埃菲尔；Smalltalk；TREX… 主要字段： 计算机科学（68-XX）
HOS-海洋 8份文件引用(2016–2021) 软件作者： 纪尧姆·杜克罗塞特；费利西安·博内福伊（Félicien Bonnefoy）；大卫·勒图泽；皮埃尔·费兰特 相关软件： HOS-NWT；OceanWave3D；ROMS… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
OP2（操作2） 8份文件引用(2016–2023) 软件作者： G.R.Mudalige、M.B.Giles、I.Reguly、C.Bertoli、P.H.J.Kelly 相关软件： Firedrake；炒作；沃尔纳… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
QuEST公司 7份文件引用(2020–2024) 软件作者： 牛津大学；安娜·布朗；泰森·琼斯；西蒙·本杰明；米海杜塔；伊恩·布什 相关软件： 项目Q；qHiPSTER；QuTiP… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；量子理论（81-XX）
HEPMath公司 5份文件引用（2017年至2021年） 软件作者： 马丁·威布什 相关软件： FeynCalc；Mathematica；表格… 主要字段： 复变量函数（30-XX）；代数拓扑（55-XX）；统计学（62-XX）…
NURBS-Python公司 3份文件引用(2022–2023) 软件作者： O.R.Bingol、A.Krishnamurthy 相关软件： 蟒蛇；PyTorch；Matplotlib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
面板 7份文件引用(2008–2022) 软件作者： 尼古拉斯·弗涅（Nicolas Vergne）；米盖尔·阿巴迪 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；生物学和其他自然科学（92-XX）
皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung-Kil；Kaiser，Jan-Oliver；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲亚迪斯 相关软件： Coq；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
TropFishR公司 7份文件引用(2006–2021) 软件作者： 托比亚斯·米登伯格、马克·泰勒、马蒂亚斯·沃尔夫 相关软件： R；DMC公司 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
结块_lpr 6篇文献引用(2021–2023) 软件作者： Tan，Yong Kiam；Heule，Marijn J.H。；玛格努斯·奥·米林。 相关软件： DRAT-饰件；CaDiCaL；Paracooba… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
VADAR公司 5份文件引用(2010–2019) 软件作者： 利·威拉德（Leigh Willard）；Anuj Ranjan；张海燕；哈桑·蒙扎维；罗伯特·博伊科（Robert F.Boyko）；布莱恩·赛克斯（Brian D.Sykes）；大卫·S·威斯哈特 相关软件： PatchDock；亚萨拉；PacthDock… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达瓦 4份文件引用(2002–2011) 软件作者： Jerome Miecznikowski；劳丽·亨德伦 相关软件： FlowDroid公司；ESC/Java；方面J… 主要字段： 计算机科学（68-XX）
高斯过程.jl 2份文件引用(2021–2023) 软件作者： 杰米·费尔布罗特、克里斯托弗·奈梅特、马克西姆·里沙德、约翰尼·布里亚、托马斯·平德 相关软件： 朱莉娅；Optim；Plots.jl… 主要字段： 统计学（62-XX）；流体力学（76-XX）
地理系统BRNS 5份文件引用(2013–2022) 软件作者： Centler，F.、Shao，H.、De Biase，C.、Park，C.-H.、Regnier，P.、Kolditz，O.、Thullner，M。 相关软件： CrunchFlow；PHREEQC；OpenGeoSys… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
HBC公司 2份文件引用(2013–2014) 软件作者： 达美III H 相关软件： R；美洲虎；WinBUGS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
libstdc公司++ 5份文件引用(2009–2016) 软件作者： J.辛格勒，B.科斯尼克 相关软件： STL；蜉蝣；CodeBoost… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；代数拓扑（55-XX）…
根 2份文件引用（2010年至2021年） 软件作者： I.Antcheva等人 相关软件： 根；PYTHIA8；克林… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
XPP-VC公司 3份文件引用(2002–2006) 软件作者： Joáo M.P.Cardoso。；马库斯·温哈特 相关软件： FEAST；mctoolbox；NuMesh（NuMesh） 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
瑞士法郎 4份文件引用(2002–2018) 软件作者： Christian Holzbaur、Tom Schrijvers、Tom Schrijves 相关软件： 哈斯克尔；SCIFF；ACORDA… 主要字段： 计算机科学（68-XX）
CompCertS公司 4份文件引用(2017–2019) 软件作者： 贝松，弗雷德里克；Blazy，Sandrine；皮埃尔·威尔克 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
康尼迪 4份文件引用(2012–2021) 软件作者： 亚历山大·罗斯盖尔（Alexander Rothkegel）；克劳斯·莱内茨 相关软件： JiTCSDE；JiTCODE；JiTCDDE… 主要字段： 常微分方程（34-XX）；动力系统和遍历理论（37-XX）
法西乐 3份文件引用(2005–2009) 软件作者： 巴尼尔，N.，布里塞特，P。 相关软件： 乔科；ProB；Gecode… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
加吉特 4份文件引用(2020–2022) 软件作者： Hadfield，H.，Hildenbrand，D.，Arsenovic，A。 相关软件： Numba；GAPPCO；TbGAL… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
GASNet公司 2份文件引用(2015–2021) 软件作者： Hargrove P、Bonachea D 相关软件： 小教堂；刻痕；超级LU… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
G小调 4份文件引用(2010–2019) 软件作者： 安德鲁·麦克里特（Andrew McCreight）；骑士，蒂姆；安德鲁·托尔马赫 相关软件： Coq；CompCert；CompCertTSO… 主要字段： 计算机科学（68-XX）
HyCC公司 4份文件引用(2020–2023) 软件作者： Büscher，N.、Demmler，D.、Katzenbeisser，S.、Kretzmer，D.、Schneider，T。 相关软件： ABY；怀斯特里亚；美味… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MetaFork公司 3份文件引用(2017–2022) 软件作者： Chen，C.，Chen，X.，Keita，A.，Moreno Maza，M.，Xie，N。 相关软件： 生物模型；HOM4PS；多面体… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured公司；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
ScopeShell公司 3份文件引用(2011–2014) 软件作者： 莫斯科国立大学；DP Kostomarov，FS Zaitsev，AG Shishkin公司 相关软件： 托卡马克；塔迪斯；泊松解算器… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；统计力学，物质结构（82-XX）
SPL征服者 3份文件引用(2016–2021) 软件作者： Siegmund，N.、Rosenmüller，M.、Kuhlemann，M.，Kästner，C.、Apel，S.、Saake，G。 相关软件： Scalasca；AlgoWiki；TAU… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
cQASM公司 3份文件引用(2019–2021) 软件作者： N.Khammassi、G.G.Guerreschi、I.Ashraf、J.W.Hogaboam、C.G.Almudever、K.Bertels 相关软件： 奎珀；openQASM；ScaffCC… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
三角边界元 3份文件引用(2015–2022) 软件作者： Domínguez，Víctor；吕思江。；弗朗西斯科·哈维尔（Francisco Javier Sayas）。A类 相关软件： – 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
金苏达 3份文件引用(2021–2024) 软件作者： S.M.Nobile、P.Cazzaniga、D.Besozzi、G.Mauri 相关软件： MPGOS；CUDA；日晷… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
希望 1份文件引用(2018) 软件作者： J.Akeret、L.Gamper、A.Amara、A.Refregier 相关软件： 蟒蛇；内弗格拉德；NLopt… 主要字段： 相对论和引力理论（83-XX）