OEIS公司 5349份文件引用(1973–2025) 软件作者： 尼尔·J·A·斯隆。；OEIS基金会。 相关软件： SageMath；Mathematica；间隙… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
CoCoA公司 680份文件引用(1989–2024) 软件作者： CoCoa-Team；洛伦佐·罗比亚诺 相关软件： 麦考利2号；单一；CoCoALib… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
落叶松 105份文献中引用(1989–2023) 软件作者： 约翰·V·古塔格。；詹姆斯·霍宁。 相关软件： JML；埃菲尔；PVS… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；群论与推广（20-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： JoCaml公司；莫德；Oz… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ACRITH-XSC公司 在48份文件中引用(1985–2019) 软件作者： 沃尔夫冈·沃尔特。 相关软件： C-XSC；C-XSC 2.0；PASCAL-XSC… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
NLTK公司 30篇文献引用(2005–2023) 软件作者： 史蒂文·伯德；Ewan Klein；爱德华·洛珀 相关软件： 蟒蛇；Scikit；WordNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CppAD公司 39篇文献引用(2008–2023) 软件作者： Bradley M.贝尔。；詹姆斯·V·伯克。 相关软件： Ipopt；ADOL-C；SCIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DICOPT公司 39篇文献引用(1997–2022) 软件作者： 伊格纳西奥·格罗斯曼 相关软件： 邦明；GAMS；Ipopt… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
莫塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；科伦巴尼·Y、海普克·S。 相关软件： XPRESS；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
JUnit公司 16篇文献引用(2002–2022) 软件作者： Yoonsik Cheon；Gary T.Leavens。 相关软件： JML；埃菲尔；ESC/Java… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OpenLB（打开LB） 30篇文献引用(2007–2023) 软件作者： 乔纳斯·拉特；马蒂亚斯·J·克劳斯 相关软件： 帕拉博斯；瓦尔贝拉；LB3D… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
快速解释 31份文件引用(2008–2022) 软件作者： 容克，美国。 相关软件： MiniSat；PicoSAT；葡萄糖… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；github；ML… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
本质 27篇文献引用(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
mipmatch公司 27篇文献引用(2012–2023) 软件作者： 祖比扎雷塔，Jos'e R。 相关软件： 多斯；精细平衡；nbpMatching… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
WinGULF公司 27篇文献引用(1999–2023) 软件作者： 埃里克·巴贾利诺夫。 相关软件： GloptiPoly；塞杜米；YALMIP… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
群组工具包 2份文件引用(2003–2009) 软件作者： 罗斯曼M。；格林伯格S。 相关软件： 脱咖啡因咖啡；PlanEdit；科莱姆… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
SDPEN公司 24篇文献引用(2010–2022) 软件作者： G.Liuzzi、S.Lucidi、M.Sciandrone、K.Truemper 相关软件： NOMAD公司；DFL；DFBOX_IMPR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
平方英尺 19份文件引用(2003–2023) 软件作者： P.E.Gill、W.Murray、M.A.Saunders 相关软件： SNOPT；CUTEst公司；qpOASES… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
QL公司 16篇文献引用(1988–2020) 软件作者： K·希特科夫斯基 相关软件： NLPQLP；NLPQL；切割机… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
服务提供商 14篇文献引用(1996–2012) 软件作者： 范登贝赫·列文 相关软件： SDPT3；CSDP；SDPA… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
自动 13份文件引用(1990–2023) 软件作者： 尚帕诺，J.M。；Hansel，G。 相关软件： 圣杯；AMoRE；AG… 主要字段： 通用代数系统（08-XX）；群论与推广（20-XX）；计算机科学（68-XX）
M探针 12份文件引用(2001–2021) 软件作者： John W.钦奈克。 相关软件： CVX；DrAmpl；游戏… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
μi 在11份文件中引用(2015–2021) 软件作者： 唐玉红；Kudo、Shuhei；卞、欣；李震；乔治·埃姆·卡尼亚达基斯 相关软件： 预CICE；地址；OpenFOAM… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
APL2（APL2） 10篇文献引用(1988–2012) 软件作者： 国际商用机器公司 相关软件： 背包；abind；doBy… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MiniAgda公司 在11份文件中引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： Coq；阿格达；GitHub… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
L2WPMA公司 8份文件引用(2002–2022) 软件作者： 伊奥安尼斯·德米特里奥 相关软件： FITPACK；Sheppack；QSHEP5D… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；博勒，布兰登；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
群集 7份文件引用(2011–2020) 软件作者： 安贾·斯特鲁伊、米娅·休伯特、彼得·卢梭 相关软件： R；集群发现；UCI-ml… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
大地——甘露 4份文件引用(2002–2004) 软件作者： 安吉拉·苏丹。 相关软件： Multilisp；西尔克；NAS并行基准… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
环境管理计划 8份文件引用(1988–1998) 软件作者： 克劳斯·希特科夫斯基 相关软件： SLP-IOR；GAMS；ELL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FlashMeta软件 6篇文献引用(2017–2021) 软件作者： 奥列克桑德尔·波洛佐夫；苏米特·古尔瓦尼 相关软件： FlashExtract；运输；FlashRelate… 主要字段： 计算机科学（68-XX）
样品 8份文件引用(2008–2022) 软件作者： 巴伦特，克里斯蒂安；乔塔姆·米特拉；穆斯塔法·萨奇；福勒，罗伯特 相关软件： MSLiP；古罗比；PySP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
simpA公司 5份文件引用(2002–2012) 软件作者： 亚历山德罗·里奇；米尔科·维罗利；朱利奥·皮安卡斯特利 相关软件： 羽量级Java；CArtAgO；重新规范… 主要字段： 计算机科学（68-XX）
SCOM公司 6篇文献引用(1991–2005) 软件作者： 克雷文，B.D。；伊斯兰，S.M.N。 相关软件： Matlab；吝啬鬼3；RIOTS_95型 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
棒棒糖 5份文件引用(2010–2016) 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
StreamQRE（流QRE） 5份文件引用（2019年-2023年） 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
有罪不罚 4份文件引用(1998–2008) 软件作者： 戈曼，H.J.M。；Kok，J.N。；塞雷，K。；Udink，R.T.ti：《有罪不罚框架中的协调》。 相关软件： —— 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
非凸Pareto导航器 4份文件引用(2019–2022) 软件作者： 马库斯·哈蒂卡宁（Markus Hartikainen）；凯萨·米埃蒂宁；克拉姆罗斯、凯瑟琳 相关软件： 帕累托导航器；E-NAUTILUS公司；油漆… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PFLP公司 引用于3份文件(2020–2022) 软件作者： 桑德拉·戴卢斯（Sandra Dylus）、扬·克里斯蒂安森（Jan Christiansen）、芬兰·蒂根（Finn Teegen） 相关软件： 教堂；EasyCheck；瑞士… 主要字段： 计算机科学（68-XX）
虚拟叶 引用于3份文件(2015–2019) 软件作者： Merks，R.、Guravage，M.、Inzé，D.、Beemster，G 相关软件： 物理细胞；CellSys；微血管Chaster… 主要字段： 生物学和其他自然科学（92-XX）
分布式电源 引用于3份文件(2009–2013) 软件作者： 托马斯·维斯；迈克尔·扎普夫（Michael Zapf）；穆罕默德·乌拉（Mohammad Ullah Khan）；库尔特·盖斯 相关软件： MSOPS-II；西戈亚；基因组学… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
DLLSA公司 引用于3份文件(2002–2003) 软件作者： 竹内、秋信步；广岛、雅多希；山口、川崎；渡边美智子；乔伊奇罗·阿萨诺 相关软件： 擅长；SAS；SPSS软件 主要字段： 统计学（62-XX）；计算机科学（68-XX）
DyNet（动态网络） 1份文件引用(2021) 软件作者： Graham Neubig、Chris Dyer、Yoav Goldberg、Austin Matthews、Waleed Ammar、Antonios Anastasopoulos、Miguel Ballesteros、David Chiang、Daniel Clothiaux、Trevor Cohn、Kevin Duh、Manal Faruqui、Cynthia Gan、Dan Garrette、Yangfeng Ji、Lingpeng Kong、Adhiguna Kuncoro、Gaurav Kumar、Chaitanya Malaviya、Paul Michel、Yusuke Oda、Matthew Richardson、，Naomi Saphra、Swabha Swayamdipta、Pengcheng Yin 相关软件： PyTorch；链子；宏复制… 主要字段： 计算机科学（68-XX）
通量模拟器 在0个文档中引用 软件作者： 托马斯·宾斯（Thomas W.Binsl）、凯瑟琳·马伦（Katharine M.Mullen 相关软件： R；伯克利麦当娜；ODEPACK… 主要字段： ——
福尼实验室 2份文件引用(2020–2022) 软件作者： 马克·考克斯（Marco Cox）；范德拉尔（Thijs van de Laar）；贝尔·德·弗里斯 相关软件： PRMLT；PyTorch；朱莉娅… 主要字段： 计算机科学（68-XX）
绿色荧光粉 1份文件引用(2020) 软件作者： 文森特·伦格（Vincent Runge）、托比·迪伦·霍金（Toby Dylan Hocking）、盖塔诺·罗曼诺（Gaetano Romano）、法特梅·阿夫哈（Fatemeh Afghah 相关软件： R；峰值分段最优；wbs… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
蒙哥 引用于3份文件(2018–2020) 软件作者： 库扎帕斯、迪米特里奥斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。 相关软件： session-ocaml；睫毛；z3（零3） 主要字段： 计算机科学（68-XX）
色度 2份文件引用(2018–2022) 软件作者： 霍诺拉托·齐梅尔（Honorato Zimmer），里卡多（Ricardo）；安德鲁·米勒（Andrew J.Millar）。；戈登·普洛金（Gordon D.Plotkin）。；扎迪利斯，阿格里斯 相关软件： PySB；BioNetGen；eBCGen… 主要字段： 生物学和其他自然科学（92-XX）
GAMS-NIMBUS公司 2份文件引用(2014–2019) 软件作者： 维萨·奥贾利托；凯萨·米埃蒂宁；Timo Laukkanen 相关软件： 帕累托导航器；油漆；尼姆布斯… 主要字段： 运筹学，数学编程（90-XX）
GpoSolver公司 2份文件引用(2016–2019) 软件作者： 海勒，简；托马斯·帕伊德拉 相关软件： GloptiPoly；Padua2D；备用BSOS… 主要字段： 数值分析（65-XX）；运筹学，数学编程（90-XX）
K角 2份文件引用(2016–2021) 软件作者： 尼古拉·基尔科奇耶夫（Nikolay Kyurkchiev）；斯维托斯拉夫·马尔科夫 相关软件： ENZPACK公司；Matlab；SigrafW… 主要字段： 生物学和其他自然科学（92-XX）
OpenFluo软件 在0个文档中引用 软件作者： Dupuy，F。；Casas，J。；巴盖雷斯，A.G。；拉扎里，C.R。 相关软件： SIMA；ImageBee；工具箱-Romano… 主要字段： ——
原型Quipper-M 2份文件引用(2018–2022) 软件作者： 里奥斯，弗朗西斯科；彼得·塞林格 相关软件： 奎珀；哈斯克尔 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
SciPAL公司 2份文件引用(2012–2016) 软件作者： 斯蒂芬·克莱默（Stephan C.Kramer）。 相关软件： 交易.ii；CUDA；RODAS… 主要字段： 积分变换，运算微积分（44-XX）；统计学（62-XX）；数值分析（65-XX）…
SDP对称约简.jl 2份文件引用(2022–2023) 软件作者： 丹尼尔·布罗施；艾蒂安·德克勒克 相关软件： CSDP；TSSOS；朱莉娅… 主要字段： 数值分析（65-XX）；运筹学，数学编程（90-XX）
岛民 2份文件引用(2011–2016) 软件作者： 马修·O·扎卡特。；威廉·埃文森（William E.Evenson）。 相关软件： LAPACK；BLAS；天然气液化 主要字段： 统计力学，物质结构（82-XX）
THORNs公司 2份文件引用(2001–2005) 软件作者： 科斯特，弗兰克；施若夫，斯特凡；Michael Sonnenschein；拉尔夫·维廷 相关软件： 吉娜；LOOPN++；莫比 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
WORHP禅宗 2份文件引用(2018–2021) 软件作者： 伦克·库尔曼；瑟伦·杰夫肯；克里斯托夫·比斯肯斯 相关软件： WORHP公司 主要字段： 总体主题；藏品（00-XX）；运筹学，数学编程（90-XX）
认知大师 在0个文档中引用 软件作者： Wienert S、Heim D、Kotani M、Lindequist B、Stenzinger A、Ishii M、Hufnagl P、Beil M、Dietel M、Denkert C、Klauschen F 相关软件： libjpeg-turbo；LibTIFF；图形Magick… 主要字段： ——
d3p公司 在0个文档中引用 软件作者： Lukas Prediger、Niki Loppi、Samuel Kaski、Antti Honkela 相关软件： 高温；TensorFlow；Python… 主要字段： ——
德摩尼克 1份文件引用(2015) 软件作者： 萨姆森·艾布拉姆斯基；多米尼克·霍斯曼 相关软件： —— 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…
FOOFAH公司 在0个文档中引用 软件作者： 金忠军；迈克尔·安德森（Michael R.Anderson）；迈克尔·卡瓦雷拉；H.V.贾加迪什 相关软件： HaExcel；森巴祖鲁；XCellAnnotator… 主要字段： ——
接头 1份文件引用(2001) 软件作者： 爱德华多·叶罗（Eduardo J.H.Yero）。；Henriques，Marco A.A。；哈维尔·R·加西亚。；Alina C.Leyva。 相关软件： —— 主要字段： 计算机科学（68-XX）
MaRDiGraS公司 1份文件引用(2013) 软件作者： 卡洛·贝莱蒂尼；卡米利，马特奥；洛伦佐·卡普拉；蒙加，马蒂亚 相关软件： 旋风；PIPE2；Hadoop… 主要字段： 计算机科学（68-XX）
MMSP公司 1份文件引用(2022) 软件作者： 杰森·格鲁伯（Jason Gruber）；特雷弗·凯勒；丹·刘易斯 相关软件： 硝酚；Amesos2；CUDA… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
NIFTY公司 1份文件引用(2023) 软件作者： 马尔科·塞利格；迈克尔·R·贝尔（Michael R.Bell）。；亨利克·容克列维茨（Henrik Junklewitz）；Oppermann，Niels；马丁·雷内克（Martin Reinecke）；马克西姆·格雷纳；卡洛斯·帕查亚（Carlos Pachajoa）；Enßlin，托尔斯滕A。 相关软件： UQLab；NumPyro；NIFTy5… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
OOES算法.jl 1份文件引用(2020) 软件作者： 阿尔瓦罗Sierra-Altamiranda；哈迪·查尔赫加德 相关软件： JuMP；CPLEX；SCIP… 主要字段： 运筹学，数学编程（90-XX）
PyCG公司 在0个文档中引用 软件作者： Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos 相关软件： ast；看门人；合成码… 主要字段： ——