伊波特 930份文件引用(2005–2024) 软件作者： 安德烈亚斯·瓦希特（Andreas Waechter）、卡尔·莱尔德（Carl Laird） 相关软件： AMPL；SNOPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MINOS公司 引用于461份文件(1980–2023) 软件作者： B.A.Murtagh；M.A.桑德斯 相关软件： GAMS；SNOPT；AMPL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
博比卡 97篇文献引用(2011–2024) 软件作者： M.J.D.鲍威尔 相关软件： NEWUOA公司；MultiMin；DFO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PS温 76篇文献引用(2007–2023) 软件作者： 瓦兹，A.I.F。；Vicente，法律公告。 相关软件： MultiMin；NOMAD公司；MCS… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FFTHomPy公司 63份文件引用(2010–2023) 软件作者： J.Zeman、J.Vondřejc、J.Novák和I.Marek 相关软件： FFTW；drp基准；PyTorch… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
赤道 44篇文献引用(2008–2023) 软件作者： 基思·奥尔德姆；Myland，Jan；斯潘尼尔，杰罗姆 相关软件： DLMF；布伦特；同伦连续… 主要字段： 数论（11-XX）；特殊功能（33-XX）；概率论与随机过程（60-XX）…
UnitWalk公司 33篇文献引用（2002年-2023年） 软件作者： 爱德华·赫施（Edward A.Hirsch）。；阿里斯特·科耶夫尼科夫 相关软件： 糠；SATO；伯克敏… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
COSTA公司 22篇文献引用(1992–2020) 软件作者： 埃尔维拉·阿尔伯特（Elvira Albert）、普里·阿雷纳斯（Puri Arenas）、萨米尔·吉纳伊姆（Samir Genaim）、杰尔曼·普埃布拉（Germanán Puebla）、达米亚诺·扎纳尔迪尼 相关软件： 速度；AProVE；参考… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；偏微分方程（35-XX）…
MineLib公司 24篇文献引用(2013–2024) 软件作者： 丹尼尔·埃斯皮诺扎（Daniel Espinoza）；马科斯·戈库利亚；爱德华多·莫雷诺；亚历山大·纽曼 相关软件： CPLEX；AMPL；古罗比… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Vortex计算 24篇文献引用(2007–2023) 软件作者： 马歇尔·汉普顿；理查德·莫克尔 相关软件： SageMath；单一；Gfan… 主要字段： 交换代数（13-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
QPOPT公司 17篇文献引用(1998–2019) 软件作者： P.E.吉尔；W.Murray；M.A.桑德斯 相关软件： qpOASES；QPSchur公司；LOQO… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
最小包装.lm 6篇文献引用(2008–2022) 软件作者： Timur V.Elzhov、Katharine M.Mullen、Andrej-Nikolai Spiess、Ben Bolker 相关软件： R；解算；CRAN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；地球物理学（86-XX）…
国家海洋局 14篇文献引用(1989–2013) 软件作者： Kiwiel，Krzysztof C。；安德热·斯塔彻斯基 相关软件： CPLEX；LaGO；BARON… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
加利福尼亚州 13份文件引用(2010–2023) 软件作者： 劳拉·格里戈里；詹姆斯·德梅尔（James W.Demmel）。；向、华 相关软件： LAPACK；稀疏矩阵；ScaLAPACK… 主要字段： 组合数学（05-XX）；数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
齐尔伯格 13份文件引用(2005–2018) 软件作者： 穆罕默德·穆罕默德；多伦·齐尔伯格 相关软件： 齐尔伯格；NewZeil.m；MultiZeilberger… 主要字段： 组合数学（05-XX）；数论（11-XX）；复变量函数（30-XX）…
CBMix公司 12份文件引用(2011–2023) 软件作者： C.朊病毒；S.布切努阿 相关软件： VRP；METSlib；SPOT… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
齐尔伯格 12份文件引用(2005–2017) 软件作者： 穆罕默德·穆罕默德；多伦·齐尔伯格 相关软件： 齐尔伯格；NewZeil.m公司；MultiZeilberger… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
快速堆（QuickHeapsort） 9份文件引用(2000–2020) 软件作者： 沃尔克·迪克特；阿敏·韦 相关软件： 快速分拣；WikiSort；MoMQuickMergesort… 主要字段： 计算机科学（68-XX）
中美合作所 10篇文献引用(2014–2021) 软件作者： 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。 相关软件： 防抱死制动系统；JCobox；基利姆… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： AProVE；速度；TiML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
HiTag2标签 10篇文献引用(2009–2021) 软件作者： – 相关软件： 粮食；RAKAPOSHI；OpenCL… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；交换代数（13-XX）…
OACC公司 10篇文献引用(2013–2022) 软件作者： Soler-Toscano F、Zenil H、Delahaye J-P、Gauvrit N 相关软件： acss；组织环境信息系统；哈斯克尔… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
DrAmpl博士 8份文件引用(2006–2020) 软件作者： 罗伯特·福勒；多米尼克·奥尔班 相关软件： CVX；AMPL；MProbe… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
Go-ICP公司 9份文件引用(2015–2023) 软件作者： 杨蛟龙、李洪东、迪伦·坎贝尔、贾云德 相关软件： ShapeNet；三维匹配；SIFT… 主要字段： 几何（51-XX）；统计学（62-XX）；数值分析（65-XX）…
MAGP公司 9份文件引用（2006年至2019年） 软件作者： Mercadier C.公司。 相关软件： QSIMVN；WAFO；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
纽泽尔。米 9份文件引用(2005–2017) 软件作者： 安德鲁·希尔斯 相关软件： 齐尔伯格；齐尔伯格；MultiZeilberger… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
差分消除 8份文件引用(2019–2022) 软件作者： 阿列克谢·奥夫钦尼科夫（Alexey Ovchinnikov）；波古丁（Pogudin），格莱布（Gleb）；Vo、Thieu N。 相关软件： 西安；正则链；克罗内克… 主要字段： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
MAIC公司 7份文件引用(2016–2021) 软件作者： Keiji Kimura，Hayato Waki先生 相关软件： UCI-ml；R；CPLEX… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
QPSOL公司 8份文件引用(1986–1998) 软件作者： Gill，P.E.，Murray，W.，Saunders，M.A.，Wright M。 相关软件： NPSOL；NLPQL；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
倾斜 8份文件引用(1999–2015) 软件作者： 费雷雷斯·G，比安尼克·J·M。 相关软件： Mu分析与合成工具箱；LMI工具箱；LFR-toolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；差分方程和函数方程（39-XX）；系统论；控制（93-XX）
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.、Wang，D.、Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
箱子 6篇文献引用(2010–2020) 软件作者： Gurfinkel，A.，Chaki，S。 相关软件： 停机坪；不明飞行物；SeaHorn… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
常量_估计 7份文件引用(2019–2023) 软件作者： 廖世康；舒、于晨；刘雪峰 相关软件： 国际实验室；Matlab公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
英里 7份文件引用(1995–2021) 软件作者： 托马斯·卢瑟福 相关软件： 路径求解器；GAMS；MINOS… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
呼吸 7份文件引用(2013–2019) 软件作者： I.Z.Emiris、V.Fisikopoulos、C.Konaxis、L.Peñaranda 相关软件： TOPCOM公司；枫树；三角测量… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；近似和展开（41-XX）…
樱桃 6篇文献引用(2015–2023) 软件作者： Jelle Goeman、Aldo Solari、Rosa Meijer 相关软件： R；MetaboAnalyst；MBROLE… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
clrbound公司 6篇文献引用(2017–2023) 软件作者： 切尔诺朱科夫，V。；Kim，W。；Lee，S。；A.M.罗森 相关软件： Stata公司；bpbounds；TETRAD公司 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
SAcb公司 6篇文献引用(2015–2023) 软件作者： 爱德华多·罗德里格斯·特洛（Eduardo Rodriguez-Tello）；Romero-Monsivais，Hillel；拉米雷斯-托雷斯，加布里埃尔；Frédéric Lardeux公司 相关软件： TScb；网络X；禁忌搜索… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
英属维尔京群岛 5份文件引用(1995–2019) 软件作者： 斯塔克，P.B。；R.L.帕克。 相关软件： RUSBoost；MCS；TRON… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
d2_群集 5份文件引用(2007–2019) 软件作者： Burke，J.、Davison，D.、Hide，W。 相关软件： 莫菲；PHYLIP；彩虹… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
Shrinktech公司 4份文件引用(2013–2022) 软件作者： 奥坎·桑库尔 相关软件： Uppaal；模仿者；PSyHCoS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
备用JSR 5份文件引用(2021–2024) 软件作者： Wang，J.、Maggio，M.、Magron，V。 相关软件： TSSOS；无斑点；Mosek… 主要字段： 场论与多项式（12-XX）；代数几何（14-XX）；算子理论（47-XX）…
德波拉 引用于3份文件(2012–2023) 软件作者： 卢卡·比斯蒂（Luca Bisti）；卢西亚诺·伦齐尼；恩佐·明戈齐；Giovanni Stea公司 相关软件： DiscoDNC；科雷利；NC-Maude… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
KoAT公司 4份文件引用(2021–2022) 软件作者： 费比安·梅耶（Fabian Meyer）；马塞尔·哈克（Marcel Hark）；吉尔根·吉斯尔 相关软件： z3；GitHub；TPDB… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
ODEA公司 4份文件引用(2008–2023) 软件作者： 马丁·厄尔里奇 相关软件： 古罗比；CPLEX；PlaNet公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
准备/套件 4份文件引用(1978–2015) 软件作者： W.E.Vesely；R.E.纳鲁姆 相关软件： MOCUS公司；ELRAFT公司；FATRAM… 主要字段： 组合数学（05-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
算法954 引用于3份文件(2015–2020) 软件作者： 弗洛克，N。 相关软件： 算法493；算法1010；DLMF… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；系统论；控制（93-XX）
电气III 2份文件引用(2021–2023) 软件作者： Ezbakhe，Fatine；阿古斯蒂·佩雷斯·福盖特 相关软件： 确定性；BENSOLVE公司；DESDEO… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
GASTAP公司 引用于3份文件(2020–2022) 软件作者： E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。 相关软件： Servois；GitHub；加气站快车… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
国际广播公司 引用于3份文件（1994年至1998年） 软件作者： Kontovasilis，Kimon P。；尼古拉斯·米特鲁。 相关软件： – 主要字段： 概率论与随机过程（60-XX）；运筹学，数学编程（90-XX）
打结的 引用于3份文件(2015–2019) 软件作者： 马西耶·博罗季克（Maciej Borodzik）；斯特凡·弗里德尔 相关软件： 节点信息；结地图集；HFK公司 主要字段： 流形和细胞复合体（57-XX）
环形加载 引用于3份文件(2020–2023) 软件作者： 卡尔·Däubel 相关软件： GitHub；古罗比 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
日出 2份文件引用(2022–2023) 软件作者： Kimin Lee、Michael Laskin、Aravind Srinivas、Pieter Abbeel 相关软件： 曲线；QT-点；VIME… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
算法966 2份文件引用(2016–2018) 软件作者： 戴维·托佐尼。；雷泽德（Rezende），佩德罗·德·（Pedro J.De）；Cid C.De Souza公司 相关软件： libMC；GAMS；NewtonLib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
BrownieAligner公司 2份文件引用(2020–2022) 软件作者： 海达里，M。；米克洛特，G。；Van de Peer，Y。；J.福斯蒂尔。 相关软件： deBGA；美洲开发银行；DARRC… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
加里尼 1份文件引用(2024) 软件作者： 弗朗西斯科·塞肯（Francesco Ceccon）、露丝·米塞纳（Ruth Misener） 相关软件： QPLIB；AIMMS；JuMP… 主要字段： 运筹学，数学编程（90-XX）
IQC游戏 2份文件引用(2021–2023) 软件作者： 张国栋；鲍旭灿；Laurent Lessard；罗杰·格罗斯 相关软件： 香蒜酱；GitHub；AlexNet… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ITPN-全焊 1份文件引用(2021) 软件作者： 艾琳娜·帕西尼·诺莫维奇（Elina Pacini Naumovich）；Simona Bernardi；马可·格里鲍多 相关软件： – 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
Nusschecker公司 2份文件引用(2020–2023) 软件作者： 丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔 相关软件： 帕切克；博斯普鲁斯；RevSCA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
群集度量 1份文件引用(2020) 软件作者： 亨德里克森M 相关软件： GitHub；Phylon网络 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）
会阴密度 1份文件引用(2019) 软件作者： 萨姆·巴特里（Sam Buttrey）、约翰内斯·罗伊塞特（Johannes Royset）、罗杰·韦茨（Roger Wets） 相关软件： CONOPT公司；小鼠；ks… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PASOCS公司 1份文件引用(2022) 软件作者： David Tuckey、Alessandra Russo、Krysia Broda 相关软件： 克林戈；SMProbLog；PASTA… 主要字段： 计算机科学（68-XX）
斯特拉塔洛 在0个文档中引用 软件作者： 沃伊西奇·沃伊西亚克（Wojciech Wojciak）、杰克·韦索洛夫斯基（Jacek Wesolowski）、罗伯特·威卓科夫斯基（Robert Wieczorkowski） 相关软件： 微基准；分层；采样地层… 主要字段： –
TRaCE公司+ 1份文件引用(2019) 软件作者： Ud-Dean SMM、Heise S、Klamt S、Gunawan R 相关软件： sva；KLU；FATODE… 主要字段： 生物学和其他自然科学（92-XX）