斯科特 31份文件引用(2016–2023) 软件作者: 马蒂亚斯·伦格;马吉德·扎马尼 相关软件: PESSOA;科西马;p面… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克 相关软件: UMDES;TCT;NuSMV… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
科西马 16篇文献引用(2015–2022) 软件作者: 塞布蒂·穆埃利;安托万·吉拉德;格雷戈·戈斯勒 相关软件: 苏格兰人;PESSOA;TuLiP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
libFAUDES公司 10篇文献引用(2010–2020) 软件作者: 伯恩德·奥皮茨、托马斯·摩尔、克劳斯·施密特 相关软件: UMDES;TCT;害虫… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
S每个工具 6篇文献引用(2019–2022) 软件作者: 亚伯拉罕·维诺德(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);马哈茂德·哈立德;萨代赫·苏贾尼;马吉德·扎马尼 相关软件: SReachTools;ProbReach;棱镜… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
p面 7份文件引用(2019–2022) 软件作者: 马哈茂德·哈立德;马吉德·扎马尼 相关软件: 苏格兰人;ROCS;CoSyma… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)
SMACS系统 2份文件引用(2011–2012) 软件作者: 加布里埃尔·卡里恩(Gabriel Kalyon);特里斯坦勒加尔;赫夫·马尔坎德;蒂埃里·马萨特 相关软件: 固定点;UMDES;停机坪 主要字段: 系统论;对照(93-XX)
防抱死制动系统 1份文件引用(2022) 软件作者: 亚历山大·韦伯(Alexander Weber);马科维奇克(Macoveiciuc)、伊利赛(Elisei);冈瑟Reissig 相关软件: AROC;GRKLib;p面… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)