YALMIP公司 1259年文献引用(2004–2024) 软件作者： 约翰·洛夫伯格 相关软件： 塞杜米；SDPT3；Mosek… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
工程计算 138篇文献引用(1991–2022) 软件作者： 参数技术公司 相关软件： Mathematica；枫树；Matlab… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
qpOASES公司 83份文件引用(2008–2023) 软件作者： H.J.Ferreau、C.Kirches、A.Potschka、H.G.Bock、M.Diehl 相关软件： fast_mpc；Ipopt；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
卡帕拉布 60篇文献引用(2007–2024) 软件作者： 米歇尔·格拉比什（Michel Grabisch）；科贾迪诺维奇（Ivan Kojadinovic）；帕特里克·梅耶 相关软件： R；M-MACBETH；视觉UTA… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
CppAD公司 39篇文献引用(2008–2023) 软件作者： Bradley M.贝尔。；詹姆斯·V·伯克。 相关软件： Ipopt；ADOL-C；SCIP… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
效率 30篇文献引用(2013–2023) 软件作者： Bauer，Andrej先生；普雷特纳，马蒂亚 相关软件： 科卡；github；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
电子控制面板 21篇文献引用(2015–2023) 软件作者： Nicholas A.James、Wenyu Zhang、David S.Matteson 相关软件： 转折点；wbs；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；地球物理学（86-XX）…
伊莎贝尔/UTP 20篇文献引用(2015–2024) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；对照（93-XX）
PipLib（图片库） 12份文件引用(1988–2018) 软件作者： Feautrier，P。 相关软件： 4ti2；isl；麦考利2… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
中国科学院科学院 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
FASTCLIME公司 16篇文献引用(2014–2023) 软件作者： 庞浩天；刘，韩；罗伯特·范德贝 相关软件： 玻璃；QUIC；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
VeriMAP公司 13份文件引用(2015–2022) 软件作者： De Angelis E、Fioravanti F、Pettorossi A、Proietti M 相关软件： z3；跟踪器；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
coneproj公司 11份文件引用(2013–2023) 软件作者： 廖锡岳；玛丽·梅耶 相关软件： R；半标准杆；Iso… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
系统 12份文件引用(1992–2017) 软件作者： Urban、Dieter；贝克·里希特（Becker-Richter），马里恩（Marion）；Thomas Bruns；罗尔夫·赫尔佐格；海因茨·沃纳·纽豪斯 相关软件： SPSS软件；SAS；状态… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CML公司 11份文件引用(1997–2023) 软件作者： 罗纳德·勋伯格（Ronald Schoenberg）；Aptech Systems公司。 相关软件： 高斯；R；robustbase… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
孢子虫 11份文件引用(2011–2020) 软件作者： Lennart C.L.Kats；埃尔科·维瑟 相关软件： Stratego；JastAdd；SugarJ… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
MiniAgda公司 11份文件引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： Coq；阿格达；GitHub… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…
教练总成 2份文件引用(2011–2017) 软件作者： F.J.Berlanga。；里维拉，A.J。；德尔·耶稣，M.J。；F.埃雷拉。 相关软件： KEEL；UCI-ml；福利亚… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
RPSALG公司 9份文件引用(2014–2022) 软件作者： 澳大利亚银行。；费雷尔，A。；Goberna，文学硕士。；洛佩兹，文学硕士。 相关软件： SIPAMPL；SHOGUN公司；DualityGapAnalyzer… 主要字段： 历史与传记（01-XX）；变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）
MUSCOP公司 8份文件引用(2001–2023) 软件作者： 安德烈亚斯·波茨赫卡 相关软件： 纽顿图书馆；ADOL-C；区块SQP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；整体分析，流形分析（58-XX）…
DISPRO公司 引用于7份文件(1981–2017) 软件作者： V.S.Mikhalevich、I.V.Sergienko、T.T.Lebedeva等人。 相关软件： 规划师；DISNEL公司；Matlab… 主要字段： 历史与传记（01-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
皮尔斯纳 引用于7份文件(2015–2021) 软件作者： 乔治·奈斯（Georg Neis）；Hur，Chung Kil先生；Kaiser，Jan-Oliver；Craig McLaughlin；德里克·德雷尔（Derek Dreyer）；维克托·瓦菲亚迪斯 相关软件： Coq；CakeML；Isabelle/HOL… 主要字段： 计算机科学（68-XX）
摇摆不定 6篇文献引用（1999年-2010年） 软件作者： 顾元贤；张洪武；钟、万邪 相关软件： 起源；阿迪纳 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
PAROC公司 6篇文献引用(2015–2021) 软件作者： 皮斯蒂科普洛斯，E.N。；Diangelakis，N.A。；Oberdieck，R。；Papathanasiou，M.M。；纳斯库，I。；M·孙。 相关软件： POP；安提戈内；MPT… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
牛血清白蛋白 4份文件引用(1998–2004) 软件作者： 哈尼·多斯；Balasubramanian Narasimhan系 相关软件： LISP-STAT；网络；S-PLUS… 主要字段： 统计学（62-XX）；数值分析（65-XX）
HBC公司 2份文件引用(2013–2014) 软件作者： 达美III H 相关软件： R；JAGS；WinBUGS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）
MAS公司 5份文件引用(1997–2015) 软件作者： Kredel，H.，Pesch，M 相关软件： 菅直人；伯格曼；费利克斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
PLaSM公司 5份文件引用(1992–1999) 软件作者： 乔治·斯科泽利：西蒙·波图西；弗朗科·米利奇奥（Franco Milicchio）；巴尔达齐，C。；Paoluzzi，A。；帕斯库奇，V。；M.维琴蒂诺。 相关软件： 玛雅人；佛罗里达州；数学软件 主要字段： 计算机科学（68-XX）
流行音乐 5份文件引用(2017–2022) 软件作者： Oberdieck，R。；Diangelakis，N.A。；Papathanasiou，M.M。；纳斯库，I。；皮斯蒂科普洛斯，E.N。 相关软件： MPT；PAROC；滑行模拟… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
sIPOP公司 5份文件引用(2012–2023) 软件作者： 汉斯·皮尔内（Hans Pirnay）；罗德里戈，洛佩斯·内格雷特；Lorenz T.比格勒。 相关软件： Ipopt；SQPlab公司；PLCP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
阿克塞尔 4份文件引用(2018–2021) 软件作者： 埃马努伊尔·克里斯托福；Angelos Mantzaflaris公司；伯纳德·穆兰（Bernard Mourrain）；朱利安·温茨 相关软件： 沃罗诺伊；茱莉亚；G+Smo… 主要字段： 总体主题；藏品（00-XX）；代数几何（14-XX）；数值分析（65-XX）…
卡米 4份文件引用(2018–2021) 软件作者： Choi，J.、Vijayaraghavan，M.、Sherman，B.、Chlipala，A.、Arvind 相关软件： Coq；github；Coquet… 主要字段： 计算机科学（68-XX）
自适应离合器-MILP 引用于3份文件（2023年） 软件作者： 马克·特纳（Mark Turner）；科赫、托尔斯滕；费利佩·塞拉诺；迈克尔·温克勒 相关软件： MIPLIB公司；SCIP；PySCIPOpt… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
nlpden公司 引用于3份文件(2014–2018) 软件作者： Stefan Wager 相关软件： mixfdr；gcrma；Affycomp III… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
对象货币 引用于3份文件（1994年至2013年） 软件作者： 迈克尔·哈努斯（Michael Hanus）；Frank Huch；菲利普·尼德劳 相关软件： 奥兹；巴贝尔；PAKCS… 主要字段： 计算机科学（68-XX）
2阶段NSGA II 引用于3份文件(2017–2021) 软件作者： Eftekharian、Seyedeh Elham；穆罕默德·肖贾法尔；Shahaboddin Shamshirband公司 相关软件： 深渊；SPEA2；NSGA-II公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
拉格努 引用于3份文件(1995–2010) 软件作者： 安东尼·斯塔姆（Antonie Stam）；大卫·R·昂加。 相关软件： SAS；林多；C4.5… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
session-ocaml会议 引用于3份文件(2018–2023) 软件作者： Imai，Keigo；吉田、Nobuko；袁，Shoji 相关软件： 莫德；蒙哥；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
tccp公司 引用于3份文件(2009–2013) 软件作者： 阿列克谢·莱斯卡伊勒（Alexei Lescaylle）；艾丽西亚·维拉纽埃娃 相关软件： CC-Pi；GHC；酯类… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
迪亚曼拉布 2份文件引用(2018–2020) 软件作者： Isabelle Charpentier、Bruno Cochelin、Komlanvi Lampoh 相关软件： JDQZ；JDQR；Matlab… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
黑曜石 2份文件引用(2012–2013) 软件作者： K.Claessen、M.Sheeran、J.Svensson 相关软件： 尼古拉；哈斯克尔；hopencl… 主要字段： 计算机科学（68-XX）
WORHP禅宗 2份文件引用(2018–2021) 软件作者： 伦克·库尔曼；瑟伦·杰夫肯；克里斯托夫·布斯肯斯 相关软件： WORHP公司 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）
d3p公司 在0个文档中引用 软件作者： Lukas Prediger、Niki Loppi、Samuel Kaski、Antti Honkela 相关软件： 高温；TensorFlow；Python… 主要字段： –
吉莉安 在0个文档中引用 软件作者： 何塞·弗拉戈索·桑托斯（JoséFragoso Santos）、彼得·马克西莫维奇（Petar Maksimović）、萨沙·埃利·阿永（Sacha-E lie Ayoun）、菲利普·加德纳（Philippa Gardner） 相关软件： – 主要字段： –