GloMIQO公司 86篇文献引用(2009–2023) 软件作者: C.A.Floudas;露丝·米塞纳 相关软件: SCIP;BARON公司;安提戈内… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);统计学(62-XX)…
血浆 43篇文献引用(2010–2021) 软件作者: E.Agullo、J.Dongarra、B.Hadri等人。 相关软件: MAGMA;LAPACK;ScaLAPACK… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
云模拟 22篇文献引用(2012–2023) 软件作者: 罗德里戈·N·卡莱罗斯、拉吉夫·兰扬、塞萨尔·A·F·德·罗斯、拉杰库马尔·布亚 相关软件: iFogSim;网格模拟;pMapper… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
KNIME公司 14篇文献引用(2010–2022) 软件作者: http://knime.org/team; Berthold MR、Cebron N、Dill F、Fatta GD、Gabriel TR、Georg F、Meinl T、Ohl P、Sieb C、Wiswedel B 相关软件: R;威卡;Python… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
TSFC公司 23篇文献引用(2016–2022) 软件作者: 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件: Firedrake;PETSc公司;UFL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
期末考试安排 10篇文献引用(1995–2023) 软件作者: Lotfi,V.,Cerveny,R。 相关软件: FIRBS;禁忌搜索;TPSDP… 主要字段: 组合数学(05-XX);运筹学、数学规划(90-XX)
BPSS公司 引用于9份文件(1996–2021) 软件作者: Leonard Adler、Nelson Fraiman、Edward Kobacker、Michael Pinedo、Juan Carlos Plotnicoff、Tso Pang Wu 相关软件: 基因组学;SIMPSON;MULTEX公司 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
酶联免疫吸附试验 引用于9份文件(1999–2009) 软件作者: 阿南德,L。;Ghose,D。;V·马尼。 相关软件: Stata公司 主要字段: 场论与多项式(12-XX);统计学(62-XX);计算机科学(68-XX)…
MONARC公司 6篇文献引用(2001–2012) 软件作者: Ciprian Dobre;科里纳地层 相关软件: OptorSim;网格模拟;GrADS… 主要字段: 计算机科学(68-XX);量子理论(81-XX);运筹学、数学规划(90-XX)
配套元件 6篇文献引用(1993–2017) 软件作者: W.R.贝维尔 相关软件: veriSoft;Isabelle/HOL;NQTHM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
CaSPER公司 6篇文献引用(2007–2013) 软件作者: Correia,M.、Barahona,P.、Azevedo,F.、。 相关软件: 小精灵;通用电气;CSPLib… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
国际象棋 5份文件引用(2008–2021) 软件作者: Musuvathi M、Qadeer S、Ball T 相关软件: 橡皮擦;veriSoft;AVIO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)…
CoSP公司 5份文件引用(2010–2018) 软件作者: Michael Backes、Dennis Hofheinz、Dominique Unruh 相关软件: AVISPA;EasyCrypt;项目验证… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
智能发电机 4份文件引用(2003–2012) 软件作者: 科丘特、克里斯;乔纳森·阿诺德;阿米特·谢斯;约翰·米勒(John Miller);艾琳·克莱默;阿皮纳尔,巴达克;豪尔赫·卡多佐 相关软件: 沃夫兰;虚拟细胞;JigCell… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
BALTRAD公司 在0个文档中引用 软件作者: Michelson,D,Henja,A,Ernes,S,Haase,G,Koistinen,J,O ssiródka,K,Peltonen,T,Szewczykowski,M,Szturc 相关软件: wradlib;蟒蛇;Py ART… 主要字段: –
ROGP公司 3份文件引用(2022) 软件作者: Johannes Wiebe、Inês Cecílio、Jonathan Dunlop、Ruth Misener 相关软件: github;GPy;皮奥莫… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);运筹学、数学规划(90-XX)
模拟活动 引用于2份文件(2009–2019) 软件作者: 迈斯沃克 相关软件: Matlab;UMDES;Simulink… 主要字段: 运筹学、数学规划(90-XX);系统理论;控制(93-XX);信息与通信理论,电路(94-XX)
钻井进度计划 引用于2份文件(2022) 软件作者: 威比J 相关软件: ROGP;十亿卢比;ROC++… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);运筹学、数学规划(90-XX)
FogNetSim公司++ 1份文件引用(2023年) 软件作者: Qayyum T.、Malik A.W.、Khan Khattak M.A.、Khalid O.、Khan S.U。 相关软件: iFogSim;云模拟;去… 主要字段: 计算机科学(68-XX)
ImproteK公司 引用于2份文件(2018) 软件作者: Nika、Jéróme、Marc Chemillier、Gérard Assayag 相关软件: DYCI2公司 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)
MitC公司 在0个文档中引用 软件作者: 奥马尔·坎穆赫(Omar Kammouh);Kok,M.W.A.(Maurits);玛丽亚·诺格尔(Maria Nogal);Ruud Binnekamp;A.R.M.沃尔弗特(罗吉尔) 相关软件: Matlab公司 主要字段: –
MMOpt公司 1份文件引用(2018) 软件作者: 哈迪亚·哈吉(Khadija Hadj)·塞勒姆(Salem);Yann Kieffer;圣埃芬·曼奇尼 相关软件: – 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
项目进度计划 1份文件引用(2017) 软件作者: Ingenious公司 相关软件: MSNLP;项目计划;Aspen Refinery Multi-Blend Optimizer… 主要字段: 运筹学、数学规划(90-XX)
辛普森 1份文件引用(1996) 软件作者: May,Jerrold H。;路易斯·瓦尔加斯。 相关软件: MULTEX公司;BPSS公司 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
亚迪斯 1份文件引用(2019) 软件作者: Chandarli Y、Fauberteau F、Damien M、Midonnet S、Qamhieh M 相关软件: 舒姆-乌科斯 主要字段: 计算机科学(68-XX)
暗房 在0个文档中引用 软件作者: 詹姆斯·赫加蒂(James Hegarty);John Brunhaver;扎卡里·德维托;乔纳森·拉甘·凯利(Jonathan Ragan-Kelley);诺伊·科恩;史蒂文·贝尔(Steven Bell);阿特姆·瓦西利耶夫;马克·霍洛维茨(Mark Horowitz);帕特·汉拉罕 相关软件: – 主要字段: –