MPT公司 255篇文献引用(2004–2023) 软件作者: M.Kvasnica;P.Grieder;M.Baoti;苏黎世联邦理工大学;弗朗西斯科·博雷利 相关软件: YALMIP;CPLEX;Matlab… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
HYBRJ公司 46篇文献引用(1981–2020) 软件作者: 伯顿·S·加博(Burton S.Garbow)、肯尼思·希尔斯特罗姆(Kenneth E.Hillstrom)、豪尔赫·莫尔(Jorge J.More) 相关软件: minpack;抱怨;Matlab… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
d到达 29篇文献引用(2015–2024) 软件作者: S.Kong、S.Gao、W.Chen、E.M.Clarke 相关软件: 流量*;SpaceEx;KeYmaera… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
HyFIS公司 9份文件引用(2002–2022) 软件作者: Kim J、Kasabov N 相关软件: ANFIS;DENFIS;树… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
混合稳定样条线工具箱 12份文件引用(2016年-2023年) 软件作者: 吉安路易吉·皮洛内托 相关软件: Matlab;PRMLT;GitHub… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…
贝勒罗芬 8份文件引用(2017–2023) 软件作者: Nathan Fulton;斯特凡·米奇;布兰登·伯勒;安德烈·普拉泽 相关软件: 凯伊迈拉X;凯伊迈拉;ModelPlex… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
海斯特 7份文件引用(2015–2019) 软件作者: Stanley Bak、Sergiy Bogomolov、Taylor T.Johnson 相关软件: SpaceEx;CORA;C2e2… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);系统理论;控制(93-XX)
SR每个 5份文件引用(2015–2022) 软件作者: Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 相关软件: ProbReach;p面;SReachTools… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
REACH标准 4份文件引用(2013年至2018年) 软件作者: 徐明;朱家琦;李志斌 相关软件: iscas-Mc;z3;重新记录… 主要字段: 场论与多项式(12-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
索尼公司 4份文件引用(2006–2014) 软件作者: Beelitz,T.、Bischof,C.H.、Lang,B.、Willems,P 相关软件: 进入PT_90;全球溶胶;内比斯… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
CGMurphi公司 引用于2份文件(2013–2021) 软件作者: 朱塞佩·德拉·佩纳;Benedetto的Intragila;Daniele Magazzeni;伊戈尔·梅拉蒂;恩里科·特隆西 相关软件: UPPAAL TIGA公司 主要字段: 系统理论;控制(93-XX)
EFSMT公司 引用于2份文件(2016–2019) 软件作者: Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件: z3;Yices;SMT-RAT… 主要字段: 计算机科学(68-XX)
JBernstein公司 1份文件引用(2016) 软件作者: Cheng CH、Ruess H、Shankar N 相关软件: 梅蒂塔斯基;EFSMT;dReal… 主要字段: 计算机科学(68-XX)
稳定性稳定性PTDS 引用于2份文件(2020–2023) 软件作者: 米歇尔斯,维姆;卢卡·芬奇 相关软件: GradSamp;DDE-BIFTOOL;汉索… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);系统理论;控制(93-XX)
斯特拉菲 引用于2份文件(2023–2024) 软件作者: 斯特凡·波桑纳;Holdered,Florian;李英哲;Na,Byung Kyu;多米尼克·贝尔;赛义德·哈德朱特;亚曼·Güçlü 相关软件: GEMPIC;Psydac;乔雷克 主要字段: 数值分析(65-XX);流体力学(76-XX)
NeuralSim公司 1份文件引用(2023年) 软件作者: Eric Heiden、David Millard、Erwin Coumans、Yizhou Sheng、Gaurav S.Sukhatme 相关软件: PhyCRNet;torchdiffeq;PINNsNTK… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
符号数字集成.jl 1份文件引用(2022) 软件作者: 伊朗文,沙赫里亚尔;卡尔·朱利叶斯·马滕森;亚历山德罗·切利;沙什·高达(Shashi Gowda);阿南德·杰恩(Anand Jain);马应波;克里斯·拉卡卡斯 相关软件: 建模工具包.jl;SymPy;数据驱动DiffEq.jl… 主要字段: 计算机科学(68-XX)