SQPlab公司 201份文件引用(2000–2023) 软件作者： J.F.Bonnans、J.Ch.Gilbert、C.Lemaréchal、C.A.Sagastizábal 相关软件： PLCP；Ipopt；L-BFGS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
SWIFFT银行 51份文件中引用（2008年至2021年） 软件作者： 卢巴什夫斯基，瓦迪姆；丹尼尔·米恰尼西奥（Daniele Micciancio）；克里斯·佩克特（Chris Peikert）；阿隆·罗森 相关软件： NTRU；NTL；SWIFFTX… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MadGraph5_aMC@NLO 43篇文献引用(2014–2024) 软件作者： J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件： 费恩规则；PYTHIA8；德尔菲斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
橡皮擦 36篇文献引用(2000–2021) 软件作者： Savage，S.、Burrows，M.、Nelson，G.、Sobalvarro，P.、Anderson，T。 相关软件： veriSoft；RacerX；班德拉… 主要字段： 计算机科学（68-XX）
BLOOMP公司 29篇文献引用(2012–2023) 软件作者： 阿尔伯特·范江；廖文静 相关软件： PDCO；CoSaMP；FPC_AS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；欧氏空间（42-XX）的调和分析；数值分析（65-XX）…
BL数据集 27篇文献引用(2000–2023) 软件作者： 菲利普·巴蒂斯特（Philippe Baptiste）、克洛德·勒·佩普（Claude Le Pape） 相关软件： PSPLIB；炸薯条；克莱尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
猎鹰 25篇文献引用（2019年-2023年） 软件作者： 皮尔雷·阿莱恩·福克、杰弗里·霍夫斯坦、保罗·基什内尔、瓦迪姆·柳巴舍夫斯基、托马斯·波宁、托马斯·布雷斯特、托马斯里科赛特、格雷戈·塞勒、威廉·怀特、张振飞 相关软件： github；BLISS；GeMSS… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
十字架 18篇文献引用(2012–2024) 软件作者： 张安如 相关软件： 导缆器流量；罚款；glmnet… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
HordeSat卫星 13份文件引用(2015–2023) 软件作者： 托马斯·巴尔约；彼得·桑德斯；卡斯滕·辛兹 相关软件： ManySAT；弯曲；MiniSat… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
新Dsc 15篇文献引用(2016–2023) 软件作者： 亚历山大·科贝尔（Alexander Kobel）；Fabrice的Rouillier；迈克尔·萨格拉洛夫 相关软件： 隔离；集群；仲裁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；复变量函数（30-XX）…
MUP公司 15篇文献引用(2005–2016) 软件作者： 黄J 相关软件： AMUSE；MiniSat；SMT-LIB… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ADMBB公司 14篇文献引用（2019年至2024年） 软件作者： 罗和志；白晓迪；Lim，Gino；彭继明 相关软件： CPLEX；QuadProgBB；BARON… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
比安卡 14篇文献引用(2009–2021) 软件作者： 安吉拉·文森蒂；Ahmadian、Mohammad Reza；保罗·万努奇 相关软件： ALE-PSO；西戈亚；协和式飞机… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
科尔西卡 8份文件引用(2011–2022) 软件作者： 迪特尔·赫克；Tanguy Pierog；J.Oehlschläger；R.恩格尔 相关软件： R；GEANT4；物理单位… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
QPALM公司 8份文件引用(2020–2023) 软件作者： Ben Hermans、Andreas Themelis、Panagiotis Patrinos 相关软件： OSQP；qpOASES；OOQP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
幻灯片 7份文件引用(2009–2016) 软件作者： 克里斯蒂安·贝西耶、伊曼纽尔·希伯拉德、布拉希姆·赫尼奇、泽尼普·克孜尔坦、托比·沃尔什 相关软件： ToulBar2；CSPLib；SICStus… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
分体式填料 7份文件引用(2017–2023) 软件作者： 塞巴斯蒂安·莫尔 相关软件： 开普勒98；SageMath；肥胖症 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
APPLgrid公司 5份文件引用(2014–2021) 软件作者： Tancredi Carli、Dan Clements、Amanda Cooper-Sarkar、Claire Gwenlan、Gavin P.Salam、Frank Siegert、Pavel Starovoitov、Mark Sutton 相关软件： fastNLO；FEWZ；电源盒… 主要字段： 统计学（62-XX）；数值分析（65-XX）；量子理论（81-XX）…
脆弱生存 2份文件引用(2021–2023) 软件作者： 约翰·摩纳哥（John V.Monaco）、马尔卡·戈尔芬（Malka Gorfine）、李旭（Li Hsu） 相关软件： 生存；R；Rcpp… 主要字段： 统计学（62-XX）
风景 4份文件引用(2021–2023) 软件作者： 丹尼尔·弗里蒙特（Daniel J.Fremont）。；爱德华·金；托马索·德罗西；Ghosh，Shromona；岳向玉；Sangiovanni-Vincentelli，Alberto L。；Sanjit A.Seshia。 相关软件： 阿波罗；验证；卡拉… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
trlib数据库 5份文件引用(2018–2022) 软件作者： Felix Lenders、Christian Kirches、Andreas Potschka 相关软件： HSL-VF05；FEniCS；GQTPAR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured；Coq；有限责任公司 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
SIAD公司 4份文件引用(2008–2017) 软件作者： —— 相关软件： ISYDS公司 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
BiqBin公司 3份文件引用(2021–2023) 软件作者： Hrga、Timotej；卢日尔，博鲁特；Janez Povh；安吉丽卡·威格尔 相关软件： BiqCrunch；BiqMac；MADAM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
k-邻居 3份文件引用(2014–2016) 软件作者： Denis D.Mauá。；法比奥·科兹曼。 相关软件： 冰雹探测器；ElemStatLearn（电子状态学习） 主要字段： 统计学（62-XX）；计算机科学（68-XX）
OTAWA公司 1份文件引用(2017) 软件作者： 巴拉布里加，克莱门特；Cassé，Hugues；克莉丝汀·罗切（Christine Rochange）；帕斯卡·塞恩拉特 相关软件： 单克隆抗体；CPA检查员；STP… 主要字段： 计算机科学（68-XX）
QAGen公司 2份文件引用(2014–2016) 软件作者： C.Binnig、D.Kossmann、E.Lo、M.T.Özsu 相关软件： 萨齐拉；PicoSAT；小脚… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
瑞士Track 3份文件引用(2008–2016) 软件作者： Lochmatter，T.、Roduit，P.、Cianci，C.、Correll，N.、Jacot，J.、Martinoli，A。 相关软件： COPL_DSDP公司 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GMCM公司 1份文件引用(2020) 软件作者： 安德斯·比尔格劳（Anders Bilgrau）；保尔·埃里克森；雅各布·拉斯穆森；汉斯·约翰森；卡伦·迪布卡尔（Karen Dybkaer）；马丁·博格斯特德 相关软件： 国际存托凭证；R；knitr… 主要字段： 统计学（62-XX）
肉汁 1份文件引用(2020) 软件作者： Arlt，S.、Rubio-González，C.、Rümmer，P.、Schäf，M.、Shankar，N。 相关软件： Rust2Viper；蝰蛇；SMACK… 主要字段： 计算机科学（68-XX）
GReTA公司 1份文件引用（2018年） 软件作者： 亚历山德罗·阿塔纳西（Alessandro Attanasi）、安德烈亚·卡瓦尼亚（Andrea Cavagna）、洛伦佐·德尔·卡斯特洛（Lorenzo Del Castello）、艾琳·贾尔迪诺（Irene Giardin）、阿斯贾·杰利奇（Asja Jelic）、斯蒂芬妮亚·梅利洛（Stefania Mellillo）、莱昂纳多·帕里西（Le 相关软件： Trackpy；TracTrac；OpenLPT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；统计力学，物质结构（82-XX）…
ISYDS公司 2份文件引用(2009–2017) 软件作者： L.Angulo Meza、L.Biondi Neto、J.C.C.B.Soares de Mello、E.G.Gomes 相关软件： SIAD公司 主要字段： 运筹学、数学规划（90-XX）
多种族 1份文件引用(2017) 软件作者： 埃利·波兹尼安斯基（Eli Pozniansky），阿萨夫·舒斯特（Assaf Schuster） 相关软件： 螺纹消毒剂；CDS检查器；ktsan… 主要字段： 计算机科学（68-XX）
PMS5系列 2份文件引用(2013) 软件作者： H.Dinh、S.Rajasekaran、V.K.Kundeti 相关软件： RecMotif；意大利调味饭；青少年… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
SpeedHap公司 2份文件引用(2014–2016) 软件作者： Loredana M Genovese、Filippo Geraci、Marco Pellegrini 相关软件： HapCUT；ReFHap；埃克拉特… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）
SymPLFIED公司 2份文件引用(2012–2013) 软件作者： 卡提克·帕塔比拉曼；Nithin M.Nakka。；Kalbarczyk，Zbigniew T。；拉维珊卡·K·伊耶。 相关软件： Stratego；OBJ咖啡馆；MMT… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
克雷尔夫姆 1份文件引用(2021) 软件作者： Kang，J.、Kim，Y.、Song，Y.，Lee，J.，Park，S.、Shin，M.D.、Kim。 相关软件： WebAssembly；CVT；松散… 主要字段： 计算机科学（68-XX）
Femto缓存 1份文件引用(2013) 软件作者： Karthikeyan Shanmugam、Negin Golrezaei、Alexandros G.Dimakis、Andreas F.Molisch、Giuseppe Caire 相关软件： —— 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
面条 1份文件引用（2018年） 软件作者： Bhatti MK、Oz I、Popov K、Muddukrishna A、Brorsson M 相关软件： STG；Hypertool；佩加索斯 主要字段： 计算机科学（68-XX）
PyHard公司 1份文件引用(2022) 软件作者： 佩德罗·尤里·阿尔布斯（Pedro Yuri Arbs）；莫雷诺，卡米拉·卡斯特罗；凯特·史密斯·迈尔斯；玛丽亚·加布里埃拉·瓦莱里亚诺（Maria Gabriela Valeriano）；罗琳娜，安娜·卡罗莱纳 相关软件： 取消选择；Hyperopt；青蒿… 主要字段： 计算机科学（68-XX）
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： ——