条形码工具 引用于9份文件(2005–2009) 软件作者: 阿尔伯特·奥利弗拉斯;罗伯特·尼文胡斯 相关软件: SMT-LIB;z3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
凝灰岩 6篇文献引用(2004–2023) 软件作者: 乔治·马萨格利亚;Wai Wan Tsang先生 相关软件: 迪哈德;NIST统计测试套件;测试U01… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
ROSCoq公司 2份文件引用(2015–2018) 软件作者: 阿南德,阿比舍克;罗斯·克内珀 相关软件: Coq公司 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)