SAP2000公司 26篇文献引用(2003–2023) 软件作者： 计算机与结构公司。 相关软件： Matlab；OpenSees；Python… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
MatContM公司 25篇文献引用(2018–2023) 软件作者： 尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；Hil G.E.Meijer。 相关软件： MatcotM；Matlab；MATCONT公司 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
测试时代 16篇文献引用(2002–2020) 软件作者： 马里诺夫，D；库尔希德，南 相关软件： 科拉特；Symstra公司；TACO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿里阿德涅 引用于17份文件(2008–2023) 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；阿尔贝托法拉利；卢卡·杰雷蒂；蒂齐亚诺别墅 相关软件： 高科技；SpaceEx；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
自动参照 18篇文献引用(2013–2022) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；存档正式证据；起重… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
函数数组 18篇文献引用（2011年至2021年） 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；摩尔，R.D。 相关软件： RAISE（提升）；落叶松；霍尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Verigraph公司 9份文件引用(2016–2023) 软件作者： 吉尔赫梅·格罗肖（Guilherme Grochau）阿齐兹（Azzi）；贝泽拉、乔纳斯·桑托斯；里贝罗，莱拉；安德烈·科斯塔；罗德里格斯、莱昂纳多·马尔克斯；罗德里戈·马查多 相关软件： AGG；同意；Henshin… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
IDARC2D公司 5份文件引用(2008–2016) 软件作者： Valles RE、Reinhorn AM、Kunnath SK、Li C、Madan A 相关软件： SoftwareX；ZEUS-NL；地震构造… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；变形固体力学（74-XX）…
萨摩亚2 4份文件引用(2017–2020) 软件作者： 奥利弗·梅斯特（Oliver Meister）；Kaveh的Rahnema；迈克尔·巴德 相关软件： GEOCLAW公司；森林爪；皮诺… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
SACHS公司 3份文件引用(2009–2015) 软件作者： 安德烈亚·科尔哈斯（Andrea Kohlhase）；迈克尔·科尔哈斯 相关软件： OMDoc；MMT；Excel… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
IDARC3D公司 2份文件引用(2008–2009) 软件作者： Reinhorn AM、Sivaselvan MV、Winkelmann K、Yuksel E。 相关软件： SAP2000；IDARC2D；IDARC-桥… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；可变形固体力学（74-XX）
SCAD公司 2份文件引用(2020–2021) 软件作者： Karpilovskyi，V.S。；Kryksunov，E.Z。；马里连科，A.A。；菲亚尔科，S.Y。；Perelmuter，A.V。；Perelmuter，医学硕士。 相关软件： METIS公司；UHM；MUMPS公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
SEMIFEM公司 2份文件引用(2012–2015) 软件作者： 巴萨加，H.B。；卡塔尔，M.E。；贝拉克塔尔，A。 相关软件： ANSYS有限元分析软件 主要字段： 统计学（62-XX）；可变形固体力学（74-XX）；运筹学、数学规划（90-XX）
DatTeL公司 引用于1份文件(2005) 软件作者： HOLGER BISCHOF、SERGEI GORLACCH、ROMAN LESHCHINSKIY 相关软件： STL公司 主要字段： 计算机科学（68-XX）
FEPACS1号机组 引用于1份文件(1978) 软件作者： Krishnamoorthy，C.S。；A.Panneerselvam。 相关软件： – 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
绝地武士 在0个文档中引用 软件作者： 乔治·帕帕达基斯；列奥尼达斯·泽库拉斯；埃马努伊尔·塔诺斯；乔治·吉安娜科普洛斯（George Giannakopoulos）；Themis Palpanas；马诺利斯·库巴拉基斯 相关软件： – 主要字段： –