ACUOS2号机组 13份文件引用(2014–2022) 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞格尔 相关软件: 莫德;莫德-NPA;罗望子… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
第3章 10篇文献引用(2010年至2020年) 软件作者: 弗朗西斯科·杜兰;何塞·梅塞格尔 相关软件: 莫德;CRC 3;MTT… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
CRC 3号机组 引用于9份文件(2010年至2020年) 软件作者: 弗朗西斯科·杜兰;何塞·梅塞格尔 相关软件: 莫德;MTT;第3章… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
二进制测试 8份文件引用(2010年至2020年) 软件作者: Massouros,Ch.G。;奇图拉斯,中国。 相关软件: 超组测试;Mathematica;组织环境信息系统 主要字段: 阶、格、有序代数结构(06-XX);一般代数系统(08-XX);场论与多项式(12-XX)…
镉 4份文件引用(2008–2017) 软件作者: 格雷戈里·杜克(Gregory J.Duck)。;Leslie De Konink;彼得·斯图基(Peter J.Stuckey)。 相关软件: 微量锌;通用电气;G12… 主要字段: 计算机科学(68-XX)
GLINTS公司 4份文件引用(2019–2023) 软件作者: 玛丽亚·阿尔普特(María Alpunte)、安吉尔·昆卡-奥尔加(Angel Cuenca-Ortega)、圣地亚哥·埃斯科瓦尔(Santiago Escobar)、朱莉娅·萨皮尼亚(Julia Sapiña) 相关软件: 莫德;教唆;MTT… 主要字段: 通用代数系统(08-XX);计算机科学(68-XX)
daTac公司 3份文件引用(1998–2010) 软件作者: 劳伦·维格纳龙 相关软件: RSBR_;ElemStatLearn;里奥纳… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
矩阵传感器 2份文件引用(2019–2021) 软件作者: T.V.H.普拉塔梅斯 相关软件: 存档正式证据;Jordan范式;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)