棱镜 498份文件引用(2001–2023) 软件作者： 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克 相关软件： MRMC；风暴；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
RICPAC公司 67篇文献引用(1987–2023) 软件作者： W.F.Arnold；艾伦·J·劳布 相关软件： 算法432；Matlab；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
CONTSID公司 39篇文献引用(2003–2023) 软件作者： Garnier，H.、Gilson，M.、Bastogne，T.、Mensler，M。 相关软件： 船长；系统识别工具箱；Matlab… 主要字段： 实函数（26-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
椭圆工具箱 38篇文献引用(2006–2022) 软件作者： Kurzhanskiy，A.A。；瓦莱亚，P。 相关软件： SpaceEx；MPT；流量*… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；塞杜米；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学编程（90-XX）…
MatContM公司 25篇文献引用(2018–2023) 软件作者： 尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；Hil G.E.Meijer。 相关软件： MatcotM；Matlab；MATCONT公司 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
DCVALID公司 在16份文件中引用(2001–2022) 软件作者： P.潘迪亚 相关软件： MONA；IDLVALID；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
莫拉布 11份文件引用(2018–2023) 软件作者： 彼得·本纳（Peter Benner）、斯特芬·W·R·沃纳（Steffen W.R.Werner） 相关软件： 混乱；RADI；SOLBT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SCASY公司 12份文件引用(2009–2020) 软件作者： 罗伯特·格拉纳特（Robert Granat）；Isak Jonsson；博·Kågström 相关软件： 斯卡拉帕克；算法432；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
S每个工具 10篇文献引用(2019–2023) 软件作者： 亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。 相关软件： ProbeReach公司；FAUST2；AMYTISS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
AMYTISS公司 8份文件引用（2020年-2023年） 软件作者： 拉瓦伊（Lavaei），阿波法兹尔（Abolfazl）；哈立德，马哈茂德；萨代赫·苏贾尼；马吉德·扎马尼 相关软件： FAUST2；SReachTools；ProbReach… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
鲁莽的 8份文件引用(2004–2022) 软件作者： 罗伯特·格拉纳特（Robert Granat）；Isak Jonsson；博·Kågström 相关软件： mctoolbox；爆破；GEMM… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）
斯托克Hy 8份文件引用(2019–2023) 软件作者： Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate 相关软件： 棱镜；FAUST2；SReachTools… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
MIXMAX公司 7份文件引用(2015–2022) 软件作者： 康斯坦丁·G·萨维迪。 相关软件： 测试U01；MRG32k3a；MersenneTwister… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；几何（51-XX）…
SABRE公司 5份文件引用(2011–2016) 软件作者： Didier，F.、Henzinger，T.A.、Mateescu，M.、Wolf，V 相关软件： 棱镜；玛丽；生物-PEPA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
因果KinetiX 6篇文献引用(2019–2022) 软件作者： 尼古拉斯·普菲斯特；Stefan Bauer；乔纳斯·彼得斯 相关软件： JCI；冠状病毒；DDL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
CollocInfer公司 3份文件引用(2015–2019) 软件作者： 贾尔斯·胡克、罗晓、詹姆斯·拉姆齐 相关软件： 解算；R；华丽… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；杜吉拉拉，帕拉萨拉·斯里达尔 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
矿石代数分析 4份文件引用(2017–2020) 软件作者： 托马斯·克鲁索；克里斯托夫·库彻恩 相关软件： 矿石形态；矿石模块；NLControl… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
TIRA公司 4份文件引用(2019–2022) 软件作者： 皮尔雷·让·梅耶（Pierre-Jean Meyer）；亚历克斯·德文波特；穆拉特·阿卡克 相关软件： 流量*；github；LipBaB… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
CEASE公司 3份文件引用（2018年至2024年） 软件作者： 阿米尼，阿米尔；阿西夫，阿米尔；阿拉什·穆罕默德 相关软件： 莫塞克；雅尔米普 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
CyPhySim公司 3份文件引用(2017–2020) 软件作者： 克里斯托弗·布鲁克斯；爱德华·A·李。；戴维·洛伦泽蒂（David Lorenzetti）；Thierry S.Nouidui。；迈克尔·威特 相关软件： SpaceEx；抱怨；Meschach… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
HyDI公司 3份文件引用（2013-2015） 软件作者： Cimatti A、Mover S、Tonetta S 相关软件： SpaceEx；数学SAT；HySAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
版次TPL 3份文件引用(2022–2023) 软件作者： 劳拉·博奇（Laura Bocchi）；伊凡·拉内斯；梅齐纳、克劳迪奥·安塔雷斯；袁，Shoji 相关软件： ProVerify公司 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
安迪 1份文件引用(2018) 软件作者： Franck Delaplace、Cinzia Di Giusto、Jean-Louis Giavitto、Hanna Klaudel 相关软件： 查理；清爽；蛇 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
ORACLS公司 2份文件引用（1980年至1985年） 软件作者： 阿姆斯特朗（Ernest S.Armstrong）。 相关软件： —— 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
BondSim公司 1份文件引用(2017) 软件作者： 键模拟；达米奇，Vjekoslav；约翰·蒙哥马利 相关软件： 债券库；OpenModelica；VTK公司 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；系统论；控制（93-XX）
GDS铝业 1份文件引用(2019) 软件作者： S.H.E.Abdelhamid、C.J.Kuhlman、M.V.Marathe、H.S.Mortveit、S.S.Ravi 相关软件： CoCalc；图灵；BooleSim… 主要字段： 生物学和其他自然科学（92-XX）
Mp理论 1份文件引用(2019) 软件作者： 卢卡·马切蒂（Luca Marchetti）、文森佐·曼卡（Vincenzo Manca） 相关软件： MP-基因合成 主要字段： 计算机科学（68-XX）
NOSNOC公司 1份文件引用(2023) 软件作者： Armin Nurkanović；莫里茨·迪尔 相关软件： github；梅沙奇；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）
SYMCON公司 1份文件引用(2006) 软件作者： 阿联酋奥古尼 相关软件： control.cpkg；EISPACK；Matlab… 主要字段： 总体主题；藏品（00-XX）；系统论；控制（93-XX）
CloudScope（云范围） 在0个文档中引用 软件作者： Chen X、Rupprecht L、Osman R、Pietzuch P、Franciosi F、Knottenbelt W 相关软件： —— 主要字段： ——