LiE公司 180篇文献引用(1993–2024) 软件作者: A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件: 数学;岩浆;麦考利2… 主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)…
黄蜂 63份文件引用(2014–2023) 软件作者: 阿尔维亚诺,马里奥;多达罗、卡明;沃尔夫冈·费伯(Wolfgang Faber);尼古拉·利昂内(Nicola Leone);弗朗西斯科·里卡 相关软件: 克林戈;卡环;格林戈… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
副SCIP 32篇文献引用(2006–2023) 软件作者: Yuji Shinano、Tobias Achterberg、Timo Berthold、Stefan Heinz、Thorsten Koch 相关软件: SCIP;无人值守地面;MIPLIB… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
GCG公司 30篇文献引用(2011年-2023年) 软件作者: 杰拉尔德·加姆拉思(Gerald Gamrath);马可·吕贝克 相关软件: SCIP;MIPLIB公司;MIPLIB2003… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
巴普科德 26篇文献引用(2010–2023) 软件作者: 弗朗索瓦·范德贝克;伊萨姆·塔希里 相关软件: DIP;VRP解决程序;SCIP… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
LPC银行 8份文件引用(2018–2022) 软件作者: 于斌;约翰·米切尔(John E.Mitchell)。;彭宗石 相关软件: CPLEX;古罗比;SNOPT… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
杜松子 6篇文献引用(2018–2022) 软件作者: 奥列·克雷格(Ole Kröger);卡尔顿·科夫林;哈桑·希贾齐;纳加拉扬,哈尔沙 相关软件: 邦明;JuMP;Ipopt;…(可选)… 主要字段: 运筹学、数学规划(90-XX)
程序冲突分析 6篇文献引用(2008–2019) 软件作者: 彼得·拉姆米奇;马库斯·穆勒·奥尔姆 相关软件: 存档正式证据;Isabelle/HOL;Gabow SCC… 主要字段: 计算机科学(68-XX)
XTL公司 4份文件引用(2003–2017) 软件作者: Garavel,H.、Mateescu,R。 相关软件: CADP;LNT2LOTOS公司;Exp.打开… 主要字段: 计算机科学(68-XX)
DipPy公司 引用于3份文件(2015–2021) 软件作者: 迈克尔·奥沙利文 相关软件: DIP;MIPLIB2003;MIPLIB… 主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…
MC-测试仪 2份文件引用(2004–2011) 软件作者: P.Golonka、T.Pierzchala、Z.Was 相关软件: 照片;陶拉;PYTHIA公司 主要字段: 数值分析(65-XX);量子理论(81-XX)
第2b页 2份文件引用(2001–2010) 软件作者: 迈克尔·巴尔达穆斯(Michael Baldamus);Jochen的Schr“oder-Babo 相关软件: 普罗米拉;自旋蛋白;ML… 主要字段: 计算机科学(68-XX)
SIMP公司 2份文件引用(2013–2019) 软件作者: De Angelis,Emanuele;费奥拉万蒂(Fabio Fioravanti);阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂 相关软件: LOGEN;PPL;HSF… 主要字段: 计算机科学(68-XX)
SSN设计 1份文件引用(2023) 软件作者: Alan R.Pearse、James M.McGree、Nicholas A.Som、Catherine Leigh、Jay M.Ver Hoef、Paul Maxwell、Erin E.Peterson 相关软件: 萨尔索;spBayes;PReMiuM… 主要字段: 统计学(62-XX)
TravMC公司 2份文件引用(2012–2017) 软件作者: 不远处,罗宾·P。;史蒂文·拉姆齐(Steven J.Ramsay)。;王志浩(音) 相关软件: TravMC2;github;MoCHi… 主要字段: 计算机科学(68-XX)
内乌兹 1份文件引用(2023) 软件作者: 她,东东;裴可欣;戴夫·爱泼斯坦;杨俊峰;雷,白沙基;苏曼·贾纳 相关软件: github;FuzzGen;DifFuzz… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)