鲁棒控制工具箱 160篇文献引用(1989–2024) 软件作者： 数学作品；Balas G、Chiang R、Packard A、Safonov M 相关软件： Matlab；控制系统工具箱；Mu分析与合成工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
斯科特 引用于31份文件(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
PESSOA公司 26篇文献引用(2011–2022) 软件作者： 普里塔姆·罗伊；保罗·塔布阿达；鲁帕克·马朱姆达尔 相关软件： SCOTS；科西马；TuLiP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者： 克努特·阿克森；马丁·费边（Martin Fabian）；雨果·弗洛达尔；罗比·马利克 相关软件： UMDES；TCT；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
科西马 16篇文献引用(2015–2022) 软件作者： 穆尔希，塞卜蒂；安托万·吉拉德；格雷戈·戈斯勒 相关软件： SCOTS；PESSOA；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
TuLiP公司 15篇文献引用(2016–2022) 软件作者： Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray 相关软件： PESSOA；科西马；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
libFAUDES公司 10篇文献引用(2010–2020) 软件作者： 伯恩德·奥皮茨、托马斯·摩尔、克劳斯·施密特 相关软件： UMDES；TCT；害虫… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
S每个工具 10篇文献引用(2019–2023) 软件作者： 亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。 相关软件： ProbReach；FAUST2；AMYTISS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
AMYTISS公司 8份文件引用(2020–2023) 软件作者： 拉瓦伊（Lavaei），阿波法兹尔（Abolfazl）；哈立德，马哈茂德；萨代赫·苏贾尼；马吉德·扎马尼 相关软件： FAUST2；SReachTools公司；ProbReach… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
p面 7份文件引用(2019–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
长期平均价格 5份文件引用(2017–2022) 软件作者： Cameron Finucane；港元景；哈达斯·克雷斯·加济特 相关软件： TuLiP；PESSOA；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
干燥VR 4份文件引用(2017–2021) 软件作者： 齐、伯伦；樊楚楚；姜明浩；萨扬·密特拉 相关软件： S-TaLiRo；安慰；完成… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
nn控制器 4份文件引用(2020–2021) 软件作者： 赵恒军；曾、夏；陈、陶璐；刘志明；吉姆·伍德科克 相关软件： Reluplex；夏洛克；ReachNN… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
AROC公司 3份文件引用(2021–2023) 软件作者： Kochdumper，N。；Gruber，F。；Schürmann，B。；加曼，V。；Klischat，M。；阿尔托夫，M。 相关软件： 苏格兰人；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
GMO公司 3份文件引用(2002–2008) 软件作者： 辛弃疾；M.H.Khammash；M.V.萨拉帕卡 相关软件： QDES公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
OmegaThreads公司 3份文件引用(2021–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： p面；SCOTS；条纹… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
CGMurphi公司 2份文件引用(2013–2021) 软件作者： 朱塞佩·德拉·佩纳；Benedetto的Intragila；Daniele Magazzeni；伊戈尔·梅拉蒂；恩里科·特隆西 相关软件： UPPAAL TIGA公司 主要字段： 系统论；控制（93-XX）
DSSynth公司 2份文件引用(2017–2020) 软件作者： 亚历山德罗·阿巴特；Iury，Bessa；达里奥·卡塔鲁扎；卢卡斯·科尔代罗（Lucas Cordeiro）；克里斯蒂娜·大卫；帕斯卡·凯塞利（Pascal Kesseli）；丹尼尔·克罗宁 相关软件： PESSOA；Boost区间算法；CBMC… 主要字段： 系统论；控制（93-XX）
多重增益 2份文件引用(2016–2017) 软件作者： 托马斯·布拉兹迪尔；克里希南多·查特吉；Forejt，Vojtěch；公司；安东·库切拉 相关软件： 棱镜；鹰；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
小型计算机 2份文件引用(2011–2012) 软件作者： 加布里埃尔·卡里恩（Gabriel Kalyon）；特里斯坦勒加尔；赫夫·马尔坎德；蒂埃里·马萨特 相关软件： 固定点；UMDES；停机坪 主要字段： 系统论；控制（93-XX）
防抱死制动系统 1份文件引用(2022) 软件作者： 亚历山大·韦伯（Alexander Weber）；马科维奇克（Macoveiciuc）、伊利赛（Elisei）；冈瑟·雷西格 相关软件： AROC；GRKLib；p面… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
DaDRA公司 在0个文档中引用 软件作者： Jared Mejia、Alex Devonport、Murat Arcak 相关软件： 阿里阿德涅；Isabelle/HOL；NLTOOLBOX… 主要字段： ——
PuRSUE公司 1份文件引用(2020) 软件作者： 马尔塞洛·M·贝尔萨尼。；索尔多，马蒂奥；克劳迪奥·蒙吉（Claudio Menghi）；佩利奇奥内，帕特里齐奥；罗西，马蒂奥 相关软件： LTLMoP；活性氧；NuSMV… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）