生物导体 253篇文献引用(2003–2024) 软件作者： 开放式开发项目 相关软件： R；gcrma；edgeR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
阿尔戈尔68 280篇文献引用(1969–2019) 软件作者： van Wijngaarden，A.作者简介；梅勒鲁，B.J。；Peck，J.E.L。；科斯特，C.H.A。；辛佐夫，M。；林赛，C.H。；Meertens，L.G.L.T。；R.G.菲斯克。 相关软件： ALGOL 60；Simula 67；Ada95… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
RStan（RStan） 134篇文献引用(2015–2024) 软件作者： 郭继强；等。 相关软件： R；rstan；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者： 罗曼·弗朗索瓦（Romain Francois）、德克·埃德布特尔（Dirk Eddelbuettel）、道格·贝茨（Doug Bates） 相关软件： R；卢比；犰狳… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者： 沃纳·霍夫舒斯特；沃尔特·克雷默；R.Klatte公司 相关软件： C-XSC；国际实验室；进入PT_90… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
PASCAL-XSC公司 99篇文献引用(1991–2022) 软件作者： Klatte，R.、Kulisch，U.、Neaga，M.、Ratz，D.、Ullrich，Ch、Januschke，P.、Ratz，D。 相关软件： C-XSC；C-XSC 2.0；ACRITH-XSC… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）；计算机科学（68-XX）…
rstan公司 89份文件引用(2017–2024) 软件作者： 郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、科兹托夫·萨克雷吉达、奥列格·斯克莱尔、延斯·奥赫施莱格尔·阿基约希、哈德利·威克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼伯勒 相关软件： RStan；R；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
赛马拉松 引用于54份文件(2008–2023) 软件作者： Behnel，S.、Bradshaw，R.、Dalcín，L.、Florisson，M.、Makarov，V.、Seljeboton，D.S。 相关软件： 蟒蛇；数字Py；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
发电机状态 引用于71份文件(1984–2022) 软件作者： VSN国际；Payne，R.W.、Murray，D.A.、Harding，S.A.、Baird，D.B.、Soutar，D.M。 相关软件： R；SAS；ASReml… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数理逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 内核LEAF；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
灵活的 36篇文献引用(2017–2023) 软件作者： 佩里·德瓦尔平（Perry de Valpine）、克里斯托弗·帕西奥雷克（Christopher Paciorek）、丹尼尔·图雷克（Daniel Turek 相关软件： R；斯坦；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MoDeST公司 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
Cg公司 18篇文献引用(2006–2012) 软件作者： 威廉·R·马克；R.Steven Glanville；库尔特·阿克利（Kurt Akeley）；马克·基尔加德 相关软件： CUDA；OpenGL；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
CVXR公司 29篇文献引用（2019年至2024年） 软件作者： 傅安琪（Anqi Fu）、巴拉苏布拉曼尼亚人（Balasubramanian Narasimhan）、斯蒂芬·博伊德（Stephen Boyd） 相关软件： CVX；CVXPY；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
伊甸园 23篇文献引用(2001–2018) 软件作者： U.Klusik、Y.Ortega-Mallén、R.Peña 相关软件： 哈斯克尔；胶；GHC… 主要字段： 数理逻辑与基础（03-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）
达卡波 15篇文献引用（2009年-2023年） 软件作者： Blackburn，S.M.、Garner，R.、Hoffman，C.、Khan，A.M.、McKinley，K.S.、Bentzur，R.，Diwan，A.、Feinberg，D.、Frampton，D.、Guyer，S.Z.、Hirzel，M.、Hosking，A.、Jump，M.，Lee，H.、Moss，J.E.B.、Phansalkar，A.、Stefanovic，D.、VanDrunen，T.、von Dincklage，D.和Wiedermann，B 相关软件： 烟尘；方面J；SPECjvm2008… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
PolyTOIL公司 19份文件引用(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
雪 21篇文献引用(2006–2022) 软件作者： 卢克·蒂尔尼（Luke Tierney）；A.J.罗西尼。；李娜 相关软件： 雪；R；Rcpp… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ASE公司 引用于3份文件（2019年-2023年） 软件作者： Hjorth Larsen，A。；Jörgen Mortensen，J。；Blomqvist，J。；卡斯泰利，I.E。；Christensen，R。；杜瓦克，M。；弗里斯·J。；格罗夫斯，M.N。；锤子，B。；哈格斯，C。；Hermes，E.D。；P.C.詹宁斯。；Bjerre Jensen，P。；科尔莫德，J。；Kitchin，J.R。；Leonhard Kolsbjerg，E。；14库巴尔，J。；Kaasbjerg，K。；Lysgaard，S。；Bergmann Maronsson，J。；Maxson，T。；Olsen，T。；Pastewka，L。；彼得森，A。；罗斯加德，C。；希奥茨，J。；舒特，O。；奇怪，M。；蒂格森，K。；Vegge，T。；维勒姆森，L。；Walter，M。；曾，Z。；雅各布森，K.W 相关软件： 蟒蛇；脓毒原；数字标识… 主要字段： 概率论与随机过程（60-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
VORPAL公司 17篇文献引用(2004–2019) 软件作者： 切特·尼特（Chet Nieter）；约翰·R·卡里。 相关软件： OSIRIS；快速采集；OOPIC… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert公司；Isabelle/HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Dlib-ml公司 16篇文献引用(2014–2023) 软件作者： 戴维斯·金 相关软件： Scikit；蟒蛇；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
德尔芬 17篇文献引用（2003年至2020年） 软件作者： Schürmann，C.、Fontana，R.、Liao，Y.、Poswolsky，A。 相关软件： Twelf；Coq；白鲸… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SoDA公司 17篇文献引用(2004–2023) 软件作者： 约翰·钱伯斯。 相关软件： R；晶格；质量（R）… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
pyOpt选项 14篇文献引用(2012–2023) 软件作者： 鲁本·佩雷斯（Ruben E.Perez）。；彼得·詹森（Peter W.Jansen）。；Joaquim R.R.A.Martins。 相关软件： SNOPT；顶部.m；Python… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
可视化DSD 15篇文献引用(2013–2023) 软件作者： Lakin，M.R.、Youssef，S.、Polo，F.、Emmott，S.和Phillips，A。 相关软件： 棱镜；z3；Z34Bio… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）…
BoogiePL公司 在11份文件中引用(2005–2020) 软件作者： DeLine，R.、Leino，K.R.M。 相关软件： z3；规范#；布吉… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
柱塞 14篇文献引用(1991–2009) 软件作者： 乞丐，伊凡；吴玲；安德烈亚斯·穆勒；彼得·普尔兹比舍夫斯基；罗兰·R；威廉·索耶 相关软件： 进度；SPARSKIT；ITSOL公司 主要字段： 代数几何（14-XX）；范畴理论；同调代数（18-XX）；实函数（26-XX）…
贝叶斯雷 13份文件引用（2019年-2023年） 软件作者： Sara van Erp；丹尼尔·奥伯斯基。；乔里斯·穆德 相关软件： 斯坦；brms；螺母… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
COULFG公司 13份文件引用(1985–2022) 软件作者： A.R.巴奈特 相关软件： COULCC公司；FGH；数字… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
Ebimage公司 7份文件引用（2015年至2022年） 软件作者： 巴乌，格里戈伊尔；弗洛里安·富克斯；Oleg Sklyar；Michael Boutros；沃尔夫冈·胡贝尔 相关软件： R；oro.nifti；oro.dicom… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
生锈带 13份文件引用(2018–2022) 软件作者： Jung，R.、Jourdan，J.H.、Krebbers，R.和Dreyer，D。 相关软件： 锈蚀；Coq；工具链… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
fclust公司 9份文件引用(2019–2022) 软件作者： 保罗·佐丹尼（Paolo Giordani）、玛丽亚·布里吉达·费拉罗（Maria Brigida Ferraro） 相关软件： R；fc；fpc… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
间隔_ARITHMETIC 9份文件引用(1996–2017) 软件作者： R.Baker Kearfott先生 相关软件： INTLIB；进入PT_90；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；统计学（62-XX）…
RKWard公司 2份文件引用(2010–2012) 软件作者： Stefan Rödiger、Thomas Friedrichsmeier、Prasenjit Kapat、Meik Michalke 相关软件： R；Rcmdr；除尘器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
闪石 1份文件引用(2022) 软件作者： 乔纳·加布里（Jonah Gabry）、斯坦发展团队（Stan Development Team）、迈克尔·安德烈（Michael Andreae）、迈克·贝当古（Michael Betancourt）、鲍勃·卡彭特（Bob Carpenter）、高元军（Yuanjun Gao）、安德鲁·盖尔曼（Andrew Gelman）、本·古德里 相关软件： R；斯坦；RStan… 主要字段： 统计学（62-XX）
特修斯 9份文件引用（2015年至2022年） 软件作者： James，R.P.，Sabry，A。 相关软件： 咖喱；汞；代数… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
野牛 8份文件引用(2007–2021) 软件作者： 自由软件基金会。；R.Corbett；斯特尔曼 相关软件： YACC；弯曲；GitHub… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
隐秘HOL 9份文件引用(2017–2022) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
GUSS公司 9份文件引用(2012–2022) 软件作者： Michael R.Bussieck。；Michael C.Ferris。；蒂莫·洛曼 相关软件： GAMS；AIMMS；AMPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
接通DLV 8份文件引用(2009–2021) 软件作者： Ricca，F.、Gallucci，L.、Schindlauer，R.、Dell'armi，T.、Grasso，G.、Leone，N。 相关软件： DLV-EX；颗粒；Lparse… 主要字段： 计算机科学（68-XX）
RAJA公司 6篇文献引用(2016–2024) 软件作者： Beckingsale DA、Scogland TR、Burmark J、Hornung R、Jones H、Killian W、Kunen AJ、Pearce O、Robinson P、Ryujin BS、J.Keasler 相关软件： 科科斯；PETSc；AMReX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-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）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
occam-pi型 6篇文献引用（2005年至2021年） 软件作者： 彼得·H·韦尔奇。；弗雷德里克·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
OEuf公司 8份文件引用(2018–2022) 软件作者： 马伦，E。；彭斯坦纳，S。；威尔科克斯，J.R。；Tatlock，Z。；格罗斯曼，D。 相关软件： Coq；CertiCoq；CakeML… 主要字段： 计算机科学（68-XX）
第22条 6篇文献引用(2020–2023) 软件作者： Carl H Lubba、Sarab S Sethi、Philip Knaute、Simon R Schultz、Ben D Fulcher、Nick S Jones 相关软件： 火箭；FFORMA；hctsa… 主要字段： 概率论与随机过程（60-XX）；统计学（62-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）
多BUGS 引用于3份文件(2019–2022) 软件作者： Goudie，R.J.B.、Turner，R.M.、De Angelis，D.、Thomas，A。 相关软件： R；WinBUGS；卡爪… 主要字段： 统计学（62-XX）
奥卡 6篇文献引用（2003年至2020年） 软件作者： Sutherland P、Rossini A、Lumley T、Lewin-Koh N、Dickerson J、Cox Z、Cook D 相关软件： R；XGobi；戈比… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
皮尔斯纳 7份文件引用(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung-Kil；Kaiser，Jan-Oliver；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲阿迪斯 相关软件： Coq；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
玫瑰花 7份文件引用(2016–2023) 软件作者： Torlak，E.，Bodik，R。 相关软件： github；z3；FlashMeta… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
SyReC公司 7份文件引用(2012–2023) 软件作者： Wille，R.、Offermann，S.、Drechsler，R。 相关软件： RevLib；LRinv；Quipper… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
米莫拉 引用于3份文件(1995–2006) 软件作者： S Bashford、U Bieker、B Harking、R Leupers、P Marwedel、A Neumann、D Voggenauer；多特蒙德大学 相关软件： 火焰；西瓦；ISDL… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
山核桃 6篇文献引用(1996–2021) 软件作者： 胡萝卜，路易吉；梅勒，弗兰诺；Mango Furnari，马里奥；雷娜塔·纳波利塔诺 相关软件： CANv2；PYR；OpenCAL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
PushGP（推送GP） 引用于3份文件(2002–2023) 软件作者： Crawford-Marks R、Spector L。 相关软件： 推动；PyshGP；SQLizer… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
比例6.2 6篇文献引用(2015–2021) 软件作者： 里尔登，B。；列斐伏尔，R。；Lefebvre，J。；克拉诺，K。；威廉姆斯，M。；Petrie，L。；美国Mertyurek。 相关软件： 德诺沃；特里利诺斯；比例… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
比普斯 在0个文档中引用 软件作者： 阿德里安·托德斯奇尼（Adrien Todeschini）、弗朗索瓦·卡隆（François Caron）、马克·富恩特斯（Marc Fuentes）、皮埃里克·罗格朗（Pierrick Legrand）、皮埃尔·德尔·莫拉利（Pierre Del Moral） 相关软件： vSMC；R；LibBi… 主要字段： ——
真正的 4份文件引用(1989–2012) 软件作者： 里斯卡（R.Liska）；L.博士 相关软件： QEPCAD；减少；重新记录… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
高级质量策划（HQP） 5份文件引用(2001–2014) 软件作者： R.Franke；B.魏德曼；L.Vogelbacher；H.Linke和E.Arnold 相关软件： HQP/OMUSES；Ipopt；SNOPT… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
神经传导者 引用于3份文件(2018–2023) 软件作者： 穆舍利，J。；Fortin，J.-P。；Gherman，A。；先锋，B。；惠彻，B。；克莱登，J.D。；Caffo，B。；克雷尼西亚努，C.M。 相关软件： R；oro.nifti；oro.dicom… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
PyCOMPS公司 引用于3份文件(2021–2022) 软件作者： E.Tejedor、Y.Becerra、G.Alomar、A.Queralt、R.M.Badia、J.Torres、T.Cortes和J.Labarta 相关软件： 服务；达克；分析… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
QWire公司 5份文件引用(2017–2019) 软件作者： Payikin，J.、Rand，R.、Zdancewic 相关软件： 奎珀；问题#；凯伊迈拉X… 主要字段： 总体主题；藏品（00-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
零售价 在0个文档中引用 软件作者： 沃尔特·莫雷拉（Walter Moreira）；格雷戈里·沃恩斯（Gregory R.Warnes）；劳伦特·戈蒂埃 相关软件： R；转速2；Python… 主要字段： ——
SOSlib公司 引用于3份文件(2012–2019) 软件作者： Lu J、Muller S、MachnéR、Flamm C 相关软件： 日晷；科帕西；R、 … 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
Statalign公司 4份文件引用(2012–2018) 软件作者： 阿拉巴马州诺瓦克。，Miklós，I.，Lyngsoe，R.，Hein，J。 相关软件： Bali-phy；充分满足；Rec-I-DCM3… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
StreamQRE（流QRE） 5份文件引用（2019年-2023年） 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿格利特 引用于3份文件（2010年至2017年） 软件作者： 杰米·莫根斯坦（Jamie Morgenstern）；丹尼尔·李卡塔（Daniel R.Licata）。 相关软件： 层流；哈斯克尔；Ynot… 主要字段： 计算机科学（68-XX）
XTL公司 4份文件引用（2003年至2017年） 软件作者： Garavel，H.和Mateescu，R。 相关软件： CADP；LNT2LOTOS公司；Exp.打开… 主要字段： 计算机科学（68-XX）
A流量 引用于3份文件(2022–2023) 软件作者： 马德尔，C.A。；Kenway，G.K.W。；Yildirim，A。；马丁斯，J.R.R.A。 相关软件： DAFoam；pyOptSparse；SNOPT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
IBPT公司 引用于3份文件(2012–2019) 软件作者： 卡拉加西迪斯，A。；魏茨曼，P。；尼尔森，T。；Peuhkuri，R。；哈根托夫特，C。；罗德，C。 相关软件： WUFI；ode45；MATLAB ODE套件… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；经典热力学，传热（80-XX）…
Kiefer-Weiss公司 引用于3份文件(2022–2023) 软件作者： 安德烈·诺维科夫；法希尔·法赫沙托夫 相关软件： R；多重假设 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
捕鼠器 2份文件引用（2018年） 软件作者： Kieslich，P.J。；亨尼格尔，F。 相关软件： 鼠标跟踪器；KFAS；ggmcmc… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）
帕姆根 引用于3份文件（2015年至2022年） 软件作者： D.M.亨辛格、R.R.德雷克、J.G.福卡尔、T.A.加德纳。 相关软件： FLLOP；PermonCube；PermonFLLOP… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；运筹学，数学编程（90-XX）
塞马诺 引用于3份文件（1976年至1984年） 软件作者： 安德森，E.R。；Belz，F.C。；英国布鲁姆。 相关软件： ALGOL 68；Refal；阿尔戈60 主要字段： 通用代数系统（08-XX）；交换代数（13-XX）；群论与推广（20-XX）…
tccp公司 引用于3份文件(2009–2013) 软件作者： 阿列克谢·莱斯卡伊勒（Alexei Lescaylle）；艾丽西亚·维拉纽埃娃 相关软件： CC-Pi；GHC；酯类… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
amsrpm公司 在0个文档中引用 软件作者： 马克·基什内尔（Marc Kirchner）；本杰明·索森；汉诺·斯汀；朱迪思·斯汀；弗雷德·汉普雷希特 相关软件： R；不稳定；spectrino… 主要字段： ——
生物7 在0个文档中引用 软件作者： 马塞尔·奥斯滕菲尔德（Marcel Austenfeld），沃尔夫拉姆·贝施拉格（Wolfram Beyschlag） 相关软件： R；谷胱甘肽；simecol… 主要字段： ——
CSimpl公司 2份文件引用(2017) 软件作者： Sanán，D.，Zhao，Y.，Hou，Z.，Zhang，F.，Tiu，A.，Liu，Y。 相关软件： seL4；Isabelle/HOL；区域设置… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
400万 1份文件引用（2018年） 软件作者： Lauren Milechin、Vijay Gadepally、Siddharth Samsi、Jeremy Kepner、Alexander Chen、Dylan Hutchison 相关软件： Accumulo；Matlab；Graphulo… 主要字段： 计算机科学（68-XX）