质量管理清单 32篇文献引用(2007–2023) 软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉蒂奇 相关软件: QPL;奎珀;qGCL… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…
重新CSP 1份文件引用(2020年) 软件作者: 卡洛斯·加林多;西田直树;乔塞普·席尔瓦(Josep Silva);萨尔瓦多塔马利特 相关软件: 考德;埃尔朗;格拉夫维兹 主要字段: 计算机科学(68-XX);量子理论(81-XX)