MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科学实验室 173篇文献引用(1999–2023) 软件作者： Scilab企业；里卡多·法布里 相关软件： Matlab；倍频程；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HIFOO公司 73篇文献引用（2007年至2024年） 软件作者： D.Arzelier、G.Deaconu、S.Gumussoy、D.Henrion、M.Millstone、M.L.Overton 相关软件： 康普莱布；SeDuMi公司；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
凯伊马拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
混合工具箱 30篇文献引用(2004–2023) 软件作者： 贝姆帕德A。 相关软件： HYSDEL公司；MPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
S-TaLiRo公司 26篇文献引用(2011–2023) 软件作者： 安普雷迪（Annpureddy），亚什旺斯（Yashwanth）；刘，车；费内科斯（Fainekos，Georgios）；桑卡拉纳拉亚南，斯里拉姆 相关软件： 违约；SpaceEx；流量*… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科科斯 19份文件引用(2006–2019) 软件作者： 印度 相关软件： 科学实验室；科学实验室；FreeFem++… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HyFIS公司 9份文件引用（2002年至2022年） 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Siconos公司 13份文件引用(2010–2022) 软件作者： Siconos开发团队 相关软件： 路径求解器；pvlib；CasADi… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
拉马斯 12份文件引用(2006–2013) 软件作者： 马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔 相关软件： RoVerGeNe；高科技；PHAVer… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
混合系统实验室 在11份文件中引用(2021–2024) 软件作者： 里卡多·桑费利斯（Ricardo G.Sanfelice）。 相关软件： GitHub；HyEQ；YALMIP… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
斯托克Hy 8份文件引用(2019–2023) 软件作者： Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件： 棱镜；FAUST2；SReachTools… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
AltAlt键 6篇文献引用(2002–2009) 软件作者： Romeo Sanchez Nigenda、Xuan Long Nguyen、Subbarao Kambhampati 相关软件： STAN；图形平面图；Walksat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
磅/平方英寸 7份文件引用(2012–2022) 软件作者： Powersim公司。 相关软件： Matlab；Turbo Pascal；SymPowerSystems… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
Stabhyli公司 5份文件引用(2013–2020) 软件作者： 莫尔曼，艾克；奥利弗·泰尔 相关软件： 复仇者；SpaceEx；PPL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
REACH标准 4份文件引用(2013–2018) 软件作者： 徐明；朱家琦；李志斌 相关软件： iscas-Mc；z3；重新记录… 主要字段： 场论与多项式（12-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
HLIO公司 3份文件引用(2015–2019) 软件作者： 巴勃罗，布瑞斯；Vytiniotis，Dimitrios；亚历杭德罗·鲁索 相关软件： 哈斯克尔；流量凸轮；LOLA… 主要字段： 计算机科学（68-XX）
支付 3份文件引用(2017–2023) 软件作者： 列夫·尤·巴拉什。；马丁·威格尔（Martin Weigel）；米哈尔，波罗夫斯基；Wolfhard的Janke；Shchur，列夫·N。 相关软件： CUDA；pybind11；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
EFSMT公司 2份文件引用(2016–2019) 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）
混合跟踪验证程序 2份文件引用(2012–2017) 软件作者： 黄振奇；萨扬·密特拉 相关软件： GRKLib；S-TaLiRo；状态流… 主要字段： 动力系统与遍历理论（37-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
混合波动 1份文件引用(2015) 软件作者： 奥利维埃·布伊索（Olivier Bouissou）；埃里克·古鲍特（Eric Goubault）；Sylvie推杆；卡里姆·特卡尔；弗兰克·维德琳 相关软件： GRKLib公司 主要字段： 计算机科学（68-XX）
海森 2份文件引用(2020–2021) 软件作者： O.Bouissou、S.Mimram、A.Chapoutot 相关软件： SMT-LIB；解释；CORA… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）
SimHPN公司 2份文件引用(2012–2014) 软件作者： 尤尔韦斯，豪尔赫；克里斯蒂安·马胡利亚；瓦兹奎兹，卡洛斯·雷纳托 相关软件： Matlab；高血压 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
NeuralSim公司 1份文件引用(2023) 软件作者： Eric Heiden、David Millard、Erwin Coumans、Yizhou Sheng、Gaurav S.Sukhatme 相关软件： PhyCRNet；火炬差异；PINNsNTK… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
NOSNOC公司 1份文件引用(2023) 软件作者： Armin Nurkanović；莫里茨·迪尔 相关软件： GitHub；梅沙奇；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）
PNlib（PNlib） 1份文件引用(2020) 软件作者： Sabrina专业；伯恩哈德·巴赫曼 相关软件： Modelica；PetriFlow；戴莫拉 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
DCA公司++ 在0个文档中引用 软件作者： 乌尔斯·R·哈纳。；冈萨洛·阿尔瓦雷斯；托马斯·迈尔（Thomas A.Maier）。；索尔卡，拉斐尔；彼得·斯塔尔（Peter Staar）；迈克尔·萨默斯（Michael S.Summers）。；Thomas C.Schulthess。 相关软件： – 主要字段： –