×

找到3个软件包(结果1-3)

条形码工具

引用于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)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段