Matlab公司 13814年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
蟒蛇 1429年文献引用(1991–2025) 软件作者： 吉多·范罗苏姆 相关软件： SciPy；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿达95 277份文件引用(1979–2023) 软件作者： 让·伊奇比亚 相关软件： 调制；埃菲尔；Smalltalk… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
口齿不清 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡萨迪 102份文件引用(2012–2024) 软件作者： Joel Andersson；约翰·奥凯森；莫里茨·迪尔 相关软件： Ipopt；Matlab；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
MadGraph公司 引用于101篇文献(2010–2024) 软件作者： 约翰·阿尔沃尔（Johan Alwall）；米歇尔·赫奎特（Michel Herquet）；法比奥·马尔托尼；奥利维尔·马特勒；蒂姆·斯特泽尔 相关软件： PYTHIA8；费恩规则；SHERPA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；量子理论（81-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
彗星 75篇文献引用(2004–2023) 软件作者： 劳伦特·米歇尔（Laurent Michel）；看，安德鲁；帕斯卡·范·亨特利克 相关软件： CPLEX；本地化人员；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
汪汪叫 26篇文献引用(2004–2021) 软件作者： Wil M.P.范德阿尔斯特。 相关软件： 塔维纳；沃夫兰；WSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
SWIG（开关） 41篇文献引用(2000–2023) 软件作者： D.M.比兹利。 相关软件： 蟒蛇；数字Py；F2PY… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尼 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·博阿贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
汉德尔-C 28篇文献引用（2001年至2020年） 软件作者： —— 相关软件： 马戏团；哈斯克尔；赛灵思… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CHARM（魅力）++ 34份文件引用(1997–2024) 软件作者： Laxmikant V.Kale；桑吉夫·克里希南 相关软件： PETSc；视差；交易.ii… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
CIL公司 引用于33份文件(2002–2022) 软件作者： Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W。 相关软件： 爆破；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FiniteFlow有限流量 38篇文献引用(2020–2024) 软件作者： 蒂齐亚诺·佩拉罗 相关软件： LiteRed；雷杜泽；火灾… 主要字段： 几个复变量与解析空间（32-XX）；功能分析（46-XX）；数值分析（65-XX）…
OPL公司 39篇文献引用(2000–2023) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦·佩伦（Laurent Perron）；Jean-Francois，普吉 相关软件： CPLEX；AMPL；芯片… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
正向差异 28篇文献引用(2017–2023) 软件作者： Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件： 朱莉娅；github；PyTorch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·泽维尔，乔塞特；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
MLlib（MLlib） 25篇文献引用(2016–2022) 软件作者： 孟祥瑞；约瑟夫·布拉德利（Joseph Bradley）；雅武兹（Yavuz）、伯拉克（Burak）；埃文·斯帕克斯（Evan Sparks）；Shivaram Venkataraman；Liu，Davies；杰里米·弗里曼；Tsai，Db；阿姆德，马尼什；肖恩·欧文；辛，多丽丝；Xin，Reynold；迈克尔·J·富兰克林。；扎德、雷扎；马泰·扎哈里亚；阿梅特·塔尔沃卡 相关软件： Apache Spark；Scikit；火花… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
β 22篇文献引用(1985–2016) 软件作者： Bent Bruun Kristensen、Ole Lehrmann Madsen、Birger Möller-Pedersen、Kristen Nygaard 相关软件： 埃菲尔；Simula 67；Smalltalk… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
汤姆 24篇文献引用(2006–2023) 软件作者： 艾米莉·巴拉德；保罗·布劳纳；Radu Kopetz；Pierre-Etienne Moreau；安托万·雷尔斯 相关软件： Stratego；莫德；ASF+SDF… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
本质 27篇文献引用(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
MTT公司 27篇文献引用(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
莫比乌斯 18篇文献引用(2001–2021) 软件作者： 威廉·桑德斯 相关软件： 智能_；政治公众人物协议；分享… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
马查尔 22篇文献引用(1988–2018) 软件作者： W.J.科迪。 相关软件： EISPACK；SPECFUN公司；算法528… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PAG公司 20篇文献引用(1996–2018) 软件作者： 弗洛里安·马丁 相关软件： NINJA公司；爆破；MPI/MPICH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
FAdo公司 引用于19份文件(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： 古伊塔；蟒蛇；沃坎森… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GPGPU（通用图形处理器） 14篇文献引用（2006年至2018年） 软件作者： Luebke，D.，Harris，M.，Govindaraju，N.，Lefohn，A.，Houston，M。 相关软件： CUDA；OpenACC；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
玛丽亚 引用于19份文件(2000–2021) 软件作者： M“akel”a，马可 相关软件： LoLA；Uppaal公司；M网络… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）…
CertiCoq认证 17篇文献引用(2017–2022) 软件作者： Anand，A.，Appel，A.，Morrisett，G.，Paraskevopoulou，Z.，Pollack，R.，Belanger，O.S.，Sozeau，M.，Weaver，M。 相关软件： Coq；CakeML；OEuf… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
菲亚特 17篇文献引用(2015–2022) 软件作者： Delaware，B.，Claudel，C.P.，Gross，J.，Chlipala，A。 相关软件： Coq；Isabelle/HOL；CertiCoq… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
CArtAgO公司 7份文件引用（2009-2011年） 软件作者： 亚历山德罗·里奇；安德烈亚·桑蒂（Andrea Santi）；米歇尔·皮安蒂；米尔科·维罗利；安德烈亚·奥米西尼（Andrea Omicini）；马可·吉迪；马蒂亚·米诺蒂 相关软件： 杰森；贾德克斯；代理发言… 主要字段： 计算机科学（68-XX）
NESL公司 14篇文献引用(1994–2022) 软件作者： 盖伊·E·布莱洛赫。 相关软件： 哈斯克尔；MapReduce；GHC… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
检查VML 8份文件引用(2004–2019) 软件作者： 阿尔科斯·施密特（Dániel Varró） 相关软件： 自旋蛋白；沟槽；茂物… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
ESRA公司 11份文件引用(2004–2022) 软件作者： 皮埃尔·弗莱纳（Pierre Flener）；贾斯汀·皮尔逊（Justin Pearson）；奥格伦，马格纳斯 相关软件： 本质；锌；NP-SPEC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
古伊塔 11份文件引用(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： FAdo；蟒蛇；Vaucanson… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
M网络 11份文件引用(1998–2012) 软件作者： 艾克·贝斯特（Eike Best）、沃伊切赫·弗里查克（Wojciech Frączak）、理查德·霍普金斯（Richard P.Hopkins）、汉娜·克劳代尔（Hanna Klaudel）、伊丽莎白·佩尔兹 相关软件： 政治公众人物；玛丽亚；Uppaal… 主要字段： 计算机科学（68-XX）
孢子虫 11份文件引用(2011–2020) 软件作者： Lennart C.L.Kats；埃尔科·维瑟 相关软件： Stratego；JastAdd；SugarJ… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
阿西莫洛 7份文件引用(2015–2023) 软件作者： 安德森·C·Führer·C·奥凯森·J·。 相关软件： 蟒蛇；日晷；F2PY… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
MatlabMPI软件 7份文件引用(2004–2021) 软件作者： —— 相关软件： Matlab；MultiMATLAB；并行计算工具箱… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
特修斯 9份文件引用(2015–2022) 软件作者： James，R.P.，Sabry，A。 相关软件： 咖喱；汞；代数… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
CoCaml公司 9份文件引用(2017–2023) 软件作者： Jeannin，Jean-Baptiste；德克斯特·科岑；亚历山德拉·席尔瓦 相关软件： coFJ；CoALP；Paco… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿卡多 6篇文献引用(2018–2023) 软件作者： Robin Verschueren、Gianluca Frison、Dimitris Kouzoupis、Niels van Duijkeren、Andrea Zanelli、Branimir Novoselnik、Jonathan Frey、Thivaharan Albin、Rien Quirynen、Moritz Diehl 相关软件： HPIPM；ACADO；CasADi… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）…
阿加皮亚 6篇文献引用(2008–2020) 软件作者： tefénescu，Gheorghe；塔塔姆，莫妮卡 相关软件： TensorFlow；弦；罗丹… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
资产负债管理 8份文件引用(2012–2020) 软件作者： Daniela Inclezan、Michael Gelfond 相关软件： 人民；VerbNet；CCalc… 主要字段： 计算机科学（68-XX）
即兴的 8份文件引用(2002–2011) 软件作者： 埃拉·格里希卡什维利；艾伦，M。；Taleb-Bendiab，A。 相关软件： —— 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；功能分析（46-XX）…
LogiMOO公司 8份文件引用(1997–2012) 软件作者： 保罗·塔劳（Paul Tarau）；De Bosschere，科恩；达尔，维罗妮卡；斯蒂芬·罗什福特 相关软件： 奥兹；SICStus公司；序言… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
疯狂的 7份文件引用(2011–2021) 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
流量计 4份文件引用(2015–2023) 软件作者： 迈克尔·登科夫斯基（Michael Denkowski）、阿隆·拉维（Alon Lavie） 相关软件： BLEU；更快的R-CNN；胭脂红… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
LMS公司 5份文件引用(2010–2022) 软件作者： 蒂亚克·隆普夫（Tiark Rompf），马丁·奥德斯基（Martin Odersky） 相关软件： 科卡；博客；TMB… 主要字段： 计算机科学（68-XX）
CCUBE公司 4份文件引用（1997年至2013年） 软件作者： A.Brodsky、V.Segal、J.Chen、P.Exarkhopoulo 相关软件： XQuery；抒情的；DEDALE… 主要字段： 计算机科学（68-XX）
DAQV公司 5份文件引用(1997–2002) 软件作者： 史蒂文·哈克斯塔特（Steven T.Hackstadt）。；艾伦·D·马洛尼。 相关软件： HPFIT；WIEN97；SPiDER… 主要字段： 计算机科学（68-XX）
空标题 3份文件引用(2017–2022) 软件作者： Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christophers Ré 相关软件： HyperBench；利格拉；图形X… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
Exasim公司 4份文件引用(2023–2024) 软件作者： J.Vila-Pérez、R.Loek Van Heyningen、N.-C.Nguyen、J.Peraire 相关软件： Nektar++；PyFR；FESTUNG… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
EXPRESS（快递） 4份文件引用(1983–2016) 软件作者： 北卡罗来纳州舒。；豪斯，不列颠哥伦比亚省。；泰勒，R.W。；Ghosh，S.P。；卢姆，V.Y。 相关软件： —— 主要字段： 计算机科学（68-XX）
后勤局域网 5份文件引用(1985–2020) 软件作者： 安东尼·克雷茨马尔（Antoni Kreczmar）；安德烈·索尔维基（Andrzej Salwicki）；马雷克·沃佩霍夫斯基 相关软件： Simula 67；β 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
纳萨里 5份文件引用(2016–2022) 软件作者： JoséCamacho-Collados；穆罕默德·塔赫尔·皮莱瓦尔（Mohammad Taher Pilehvar）；罗伯托·纳维格利 相关软件： 单词2vec；BabelNet；WordNet… 主要字段： 计算机科学（68-XX）
StreamQRE（流QRE） 在0个文档中引用 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
铜斑蛇 1份文件引用(2016) 软件作者： Catanzaro，B.，Garland，M.，Keutzer，K。 相关软件： CUDA；开放式CL；PyOpenCL… 主要字段： 计算机科学（68-XX）
德维托 3份文件引用(2020) 软件作者： 纳瓦约特·库克雷加、马蒂亚斯·卢布廷、费利佩·维埃拉、法比奥·卢波里尼、迈克尔·兰格、杰勒德·戈尔曼 相关软件： 蟒蛇；朱莉娅；mpi4jax… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DiSL公司 2份文件引用(2016–2022) 软件作者： 卢卡什·马雷克（LukášMarek）、郑宇迪（Yudi Zheng 相关软件： 阿克卡普罗夫；JMeter；Kieker… 主要字段： 计算机科学（68-XX）
Fastflo公司 4份文件引用(1999–2004) 软件作者： 抱怨 相关软件： 佛罗里达州；PETSc；ADIC… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
长石 2份文件引用(2015–2016) 软件作者： E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda 相关软件： 熔岩；哈斯克尔；旋风… 主要字段： 计算机科学（68-XX）
GASNet公司 2份文件引用(2015–2021) 软件作者： Hargrove P、Bonachea D 相关软件： 小教堂；刻痕；超级LU… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
本地化程序++ 4份文件引用(2003–2013) 软件作者： 米歇尔，L.，亨滕里克，P.V。 相关软件： EasyLocal++；SALSA；COMET… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
采矿锌 4份文件引用(2017–2019) 软件作者： 枪支，蒂亚斯；安东·德里斯（Anton Dries）；齐格弗里德·尼杰森；塔克，吉多；吕克·德·雷德 相关软件： 通用电气；本质；迷你锌… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
帕塞尔 1份文件引用(2023) 软件作者： 亚杜·巴布吉、安娜·伍德德、李卓昭、丹尼尔·卡茨、本·克利福德、罗汉·库马尔、卢卡斯·拉金斯基、瑞安·查德、贾斯汀·沃兹尼亚克、伊恩·福斯特、迈克尔·王尔德、凯尔·查德 相关软件： 蟒蛇；达克；喀拉斯… 主要字段： 数值分析（65-XX）；地球物理学（86-XX）；运筹学、数学规划（90-XX）
流氓 3份文件引用(2010–2013) 软件作者： 希尔斯，马克；Paul Klint；Jurgen J.文朱。 相关软件： 莫德；Stratego；Xtext… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
威斯特利亚 4份文件引用(2016–2023) 软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M。 相关软件： JustGarble；HyCC；分享者… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
算法818 3份文件引用（2002年至2017年） 软件作者： 达夫，伊恩·S。；克里斯托夫·沃尔梅尔 相关软件： BLAS；LAPACK；knitr… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）
CHR动画 2份文件引用(2015) 软件作者： 纳达·沙拉夫；Abdennadher，苗条；托姆·吕维思 相关软件： BALSA；宙斯；动物… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；Nate Foster；罗布·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
派克特 2份文件引用(2015–2019) 软件作者： 斯宾塞·鲍曼；卡尔·弗里德里希·博尔兹（Carl Friedrich Bolz）；Robert Hirschfeld；瓦西里·基里切夫；佩佩，托拜厄斯；杰里米·西耶克。；萨姆·托宾·霍施塔特 相关软件： JavaScript；斯塔丹；RPython… 主要字段： 计算机科学（68-XX）
塞马诺 3份文件引用(1976–1984) 软件作者： 安德森，E.R。；Belz，F.C。；英国布鲁姆。 相关软件： ALGOL 68；Refal；阿尔戈60 主要字段： 一般代数系统（08-XX）；交换代数（13-XX）；群论与推广（20-XX）…
Terra公司 2份文件引用(2015–2022) 软件作者： Zachary DeVito、James Hegarty、Alex Aiken、Pat Hanrahan、Jan Vitek 相关软件： 链子；DyNet；宏复制… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
vlogsl语言 3份文件引用（2011年至2013年） 软件作者： Michael Katelman；何塞·梅塞盖尔 相关软件： 莫德；Java+ITP；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
博卡 1份文件引用(2011) 软件作者： Allan，B.A.，Norris，B.，Elwasif，W.R.，Armstrong，R.C 相关软件： DRFM；AmrLib；GrACE… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
法西尔 2份文件引用（2020年-2023年） 软件作者： 帕斯夸尔·朱利安·伊兰佐；莫雷诺、吉纳斯；何塞·安东尼奥·里亚扎 相关软件： BousiProlog；FRIL；XPath… 主要字段： 计算机科学（68-XX）
流体防火阀 2份文件引用(2020–2022) 软件作者： C.T.Jacobs，M.D.Piggott 相关软件： PETSc/TS；ADCIRC；FEniCS… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）