鲁棒控制工具箱 160篇文献引用(1989–2024) 软件作者: 数学作品;Balas G、Chiang R、Packard A、Safonov M 相关软件: Matlab;控制系统工具箱;Mu分析与合成工具箱… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);粒子力学与系统(70-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)…
斯科特 31份文件引用(2016年-2023年) 软件作者: 马蒂亚斯·伦格;马吉德·扎马尼 相关软件: PESSOA;科西马;p面… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
NNV公司 23篇文献引用(2021–2024) 软件作者: Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件: Reluplex;马拉博;AI2… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
模型預測控制工具箱 13份文件引用(2005–2022) 软件作者: 贝姆帕德A。 相关软件: Matlab;控制系统工具箱;混合工具箱… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
法尔科 10篇文献引用(2000–2012) 软件作者: 西门子;贝格尔,伊贡;彼得·帕平豪斯;乔阿希姆·施密德 相关软件: 核心ASM;超声波;罗丹… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
S每个工具 10篇文献引用(2019–2023) 软件作者: 亚伯拉罕·维诺德(Abraham P.Vinod)。;约瑟夫·格里森(Joseph D.Gleason)。;Oishi、Meeko M.K。 相关软件: ProbReach;FAUST2;AMYTISS… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
p3增量 5份文件引用(2021–2023) 软件作者: 布萨达,伊斯兰;吉勒梅尔·马赞蒂;尼古列斯库,西尔维乌·尤利安;朱利安·休恩;Sim,Franck;托马斯·马蒂厄 相关软件: DLMF;粘合剂2.0;蟒蛇 主要字段: 特殊功能(33-XX);常微分方程(34-XX);系统论;控制(93-XX)
QT-点 4份文件引用(2021–2023) 软件作者: Dmitry Kalashnikov、Alex Irpan、Peter Pastor、Julian Ibarz、Alexander Herzog、Eric Jang、Deirdre Quillen、Ethan Holly、Mrinal Kalakrishnan、Vincent Vanhoucke、Sergey Levine 相关软件: OpenAI健身房;AlphaZero;TensorFlow… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
ABLE公司 1份文件引用(2019) 软件作者: J.P.Bigus、D.A.Schlosnagle、J.R.Pilgrim、W.N.Mills III、Y.Diao 相关软件: 精密路径指示器;多维数据集浏览器;兄弟竞争… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX)
移动式DIC 4份文件引用(2013–2015) 软件作者: Oliveri,A.,Barcelli,D.,Bempoad,A.,Genuit,B.A.G.,Heemels,W.P.M.H.,Poggi,T.等。 相关软件: MPT;PnPMPC公司 主要字段: 系统论;控制(93-XX);信息与通信理论,电路(94-XX)
汽车制造商 2份文件引用(2019–2023) 软件作者: IPG公司 相关软件: ORB-SLAM2;FastSLAM;Matlab公司 主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)
DSSynth公司 2份文件引用(2017–2020) 软件作者: 亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科尔代罗(Lucas Cordeiro);克里斯蒂娜·大卫;帕斯卡·凯塞利(Pascal Kesseli);丹尼尔·克罗宁 相关软件: PESSOA;Boost区间算法;CBMC… 主要字段: 系统论;控制(93-XX)
EHMAC公司 2份文件引用(1998–2000) 软件作者: 拉塔维耶克(Krzysztof J.Latawiec)。;Ryszard Rojek 相关软件: – 主要字段: 系统论;控制(93-XX)
软盘 1份文件引用(2021) 软件作者: 范飞、詹图、杨益伦、张健、邓新燕 相关软件: 活性氧;Python;OpenAI健身房… 主要字段: 流体力学(76-XX);生物学和其他自然科学(92-XX)
花卉 1份文件引用(2019) 软件作者: 伦纳特·范·杜伊斯特;Gijs van der Gugten;大安图腾;Niranjan Saikumar;哈桑·侯赛因尼娅 相关软件: FOTF工具箱;Ninteger公司;FOMCON公司 主要字段: 实函数(26-XX);系统论;控制(93-XX)
QuOCS公司 1份文件引用(2024) 软件作者: 马可·罗西尼奥洛;托马斯·雷瑟(Thomas Reisser);马歇尔,阿拉斯泰尔;费拉雷姆博尔德;爱丽丝·帕加诺(Alice Pagano);菲利普·维特(Philipp J.Vetter)。;赛义德,Ressa S。;Müller、Matthias M.等人。;费利克斯·莫佐伊;托马索·卡拉科;Fedor Jelezko;西蒙·蒙坦格罗 相关软件: qocttools;困境;qopt… 主要字段: 交换代数(13-XX);变分法与最优控制;优化(49-XX);粒子力学与系统(70-XX)…
SENSE(感知) 1份文件引用(2019) 软件作者: M.Khaled、M.Rungger、M.Zamani 相关软件: BDD2实施;p面;ROCS… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
ST-Lib型 1份文件引用(2019) 软件作者: J.Kapinski、X.Jin、J.Deshmukh、A.Donzé、T.Yamaguchi、H.Ito、T.Kaga、S.Kobuna、S.A.Seshia 相关软件: S-TaLiRo公司 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)