力学 186篇文献引用(1994–2022) 软件作者: 海伦娜·E·努斯。;詹姆斯·约克(James A.Yorke)。 相关软件: 自动;HomCont;数学… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);粒子和系统力学(70-XX)…
PDDE-CONT公司 35篇文献引用(1997–2023) 软件作者: 德克·鲁斯;罗伯特·萨莱 相关软件: DDE-BIFTOOL;克努特;自动… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
TC-HAT公司 32篇文献引用(2008–2023) 软件作者: Thota,P.,Dankowicz,H。 相关软件: SlideCont;自动;COCO… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
JuliaReach公司 15篇文献引用(2018–2024) 软件作者: Sergiy Bogomolov、Marcelo Forets、Goran Frehse、Kostiantyn Potomkin、Christian Schilling 相关软件: 太空探索技术公司;流量*;CORA… 主要字段: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
莫拉布 11份文件引用(2018–2023) 软件作者: 彼得·本纳(Peter Benner)、斯特芬·W·R·沃纳(Steffen W.R.Werner) 相关软件: MESS;RADI;SOLBT… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
混合系统实验室 11份文件引用(2021–2024) 软件作者: 里卡多·桑费利斯(Ricardo G.Sanfelice)。 相关软件: HyEQ公司;YALMIP;Matlab语言 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)
ReachNN公司 7份文件引用(2021–2022) 软件作者: 黄超、范嘉萌、李文超、陈欣、朱琦 相关软件: Reluplex;流量*;SpaceEx… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
爱奇艺科技 4份文件引用(2015–2023) 软件作者: 黄,李;王毅林;孟子阳;杜亮;菲利普·沃纳(Philipp Werner);戴、西 相关软件: TRIQS;ALPSCore;ct-hyb… 主要字段: 几个复变量与解析空间(32-XX);算子理论(47-XX);数值分析(65-XX)…
nn控制器 4份文件引用(2020–2021) 软件作者: 赵恒军;曾、夏;陈、陶璐;刘志明;吉姆·伍德科克 相关软件: Reluplex;夏洛克;ReachNN… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
后勤数据系统 2份文件引用(2022) 软件作者: 阿吉拉尔·桑胡安,B。;加西亚·加里多,V.J。;科罗拉多州克拉伊克。;奈克,S。;威金斯,S。 相关软件: LCS工具;屏障工具;LCS MATLAB工具包… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);粒子和系统力学(70-XX)
对称 3份文件引用(2000–2006) 软件作者: 盖特曼,K。 相关软件: 麦考利2号;枫树;INVAR… 主要字段: 交换代数(13-XX);动力系统与遍历理论(37-XX);整体分析,流形分析(58-XX)…
返回 2份文件引用(2001–2014) 软件作者: Alan S.I.Zinober。;朱莉·斯卡拉特。;罗素·E·米尔斯(Russell E.Mills)。;阿里·贾法里·科什奎伊 相关软件: Matlab;枫树 主要字段: 系统论;控制(93-XX)
GoTube公司 2份文件引用(2022) 软件作者: 索菲·格伦巴赫(Sophie Gruenbacher)、马蒂亚斯·莱切纳(Mathias Lechner)、拉明·哈萨尼(Ramin Hasani)、丹妮拉·罗斯(Daniela Rus)、托马斯·汉津格(Thomas A.Henzinger)、斯科特·斯莫尔卡(Scott Smol 相关软件: 火炬差异;Reluplex;流量*… 主要字段: 计算机科学(68-XX)
SimHPN公司 2份文件引用(2012–2014) 软件作者: 尤尔韦斯,豪尔赫;克里斯蒂安·马胡利亚;瓦兹奎兹,卡洛斯·雷纳托 相关软件: Matlab;高血压 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
火炬动力 引用于1份文件(2022) 软件作者: Michael Poli、Stefano Massaroli、Atsushi Yamashita、Hajime Asama、Jinkyoo公园 相关软件: 火炬差异;FFJORD公司;PyTorch… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
CT-HYB公司 引用于1份文件(2017) 软件作者: Hiroshi Shinaoka;伊曼纽尔海鸥;菲利普·维尔纳 相关软件: 爱奇艺;ALPSCore;TRIQS… 主要字段: 数值分析(65-XX);量子理论(81-XX)
l2-opt-rom-ex型 引用于1份文件(2023年) 软件作者: Mlinarić,Petar;塞尔坎古尔钦 相关软件: AAA;蟒蛇;RK工具箱… 主要字段: 功能分析(46-XX);数值分析(65-XX);系统论;控制(93-XX)
NNVODE公司 引用于1份文件(2022) 软件作者: Manzanas Lopez,迭戈;Patrick Musau;纳撒尼尔·P·汉密尔顿。;泰勒·T·约翰逊。 相关软件: 阳极;火炬差异;Diffrax… 主要字段: 计算机科学(68-XX)
优化的DP 在0个文档中引用 软件作者: Minh Bui、George Giovanis、Mo Chen、Arrvindh Shriraman 相关软件: 异丙基氯;POMDPs.jl;TVM… 主要字段: –
DCA公司++ 在0个文档中引用 软件作者: 乌尔斯·R·哈纳。;冈萨洛·阿尔瓦雷斯;托马斯·迈尔(Thomas A.Maier)。;索尔卡,拉斐尔;彼得·斯塔尔(Peter Staar);迈克尔·萨默斯(Michael S.Summers)。;Thomas C.Schulthess。 相关软件: – 主要字段: –