利比亚中央银行 60篇文献引用(2009–2023) 软件作者: 查查特,B 相关软件: 安提戈内;BARON公司;MAiNGO… 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
迷你球 47篇文献引用(2001年-2023年) 软件作者: 卡斯帕费舍尔;伯恩德·加特纳;阿迪蒂亚·古普塔;亚历山大·康斯坦蒂纳基斯·卡米斯 相关软件: SDPT3;塞杜米;CGAL… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
王牌 10篇文献引用(1991–2022) 软件作者: Le Métayer,D。 相关软件: PURRS;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)…
比西德语 引用于7份文件(2006年至2018年) 软件作者: 川中、新亚;细野县细野 相关软件: XSugar;XDouce;岩盐… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX)
DET2STO公司 5份文件引用(2007–2012) 软件作者: 朱利安·塞尼;Jean-Philippe小瓶;尼迪·索尼 相关软件: SMPS阅读器;AMPL;阿达·布斯特。MH… 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
OCL2AC公司 4份文件引用(2019–2020) 软件作者: 内布拉斯加州纳赛尔;Jens Kosiol;托尔斯滕·阿伦特;加布里埃尔·泰恩泽 相关软件: 亨欣;OCLinEcore;ENFORCe… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
库切布 3份文件引用(2017–2019) 软件作者: Jared L.Aurentz。;瓦西里斯·卡兰齐斯;优素福·萨阿德 相关软件: 稀疏矩阵;CUBLAS;保管… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)
节气门执行器控制++ 3份文件引用(2008–2018) 软件作者: 迈克尔·沃贝克;Giering,Ralf;托马斯·卡明斯基 相关软件: TAF;Matlab;ALIF… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
第2天 2份文件引用(2009–2010) 软件作者: 苏尼萨·拉马努贾姆(Sunitha Ramanujam);阿努巴·古普塔;拉蒂弗·汗;巴瓦尼,图赖辛厄姆;史蒂文·赛达 相关软件: SPARQL;DataVision;D2RQ… 主要字段: 计算机科学(68-XX)
EEquAAM公司 1份文件引用(2023) 软件作者: 拉菲特,马科斯·冈萨雷斯(Marcos E.González);诺拉·贝尔;尼科·多姆什克;彼得·斯塔德勒(Peter F.Stadler)。 相关软件: CGR工具;pysmiles;EC-BLAST… 主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX)
PQ树 1份文件引用(2021) 软件作者: 西蒙·芬克(Simon D.Fink)。;Pfretzschner,马提亚斯;伊格纳斯·拉特 相关软件: 图形集;JGraphEd;OGDF公司 主要字段: 计算机科学(68-XX)
序列血清2 在0个文档中引用 软件作者: Zhang,S.、den Bakker,H.C.、Li,S.,Chen,J.、Dinsmore,B.A.、Lane,C.、Lauer,A.C.等人。 相关软件: ECTyper;Python;SeroTools软件 主要字段: –