数学检查 13份文件引用(2015–2021) 软件作者: 明亮,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;科齐里亚斯、伊利亚斯;赛义德·内贾蒂;Czarnecki,Krzysztof;爱德华·祖尔科斯基 相关软件: 山猫;枫树;FFTW… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
山猫 10篇文献引用(2013–2021) 软件作者: Ganesh,V.、O'Donnell,C.W.、Soos,M.、Devadas,S.、Rinard,M.C.、Solar-Lezama,A。 相关软件: 数学检查;枫树;FFTW… 主要字段: 组合数学(05-XX);数论(11-XX);几何(51-XX)…
Barcelogic工具 引用于9份文件(2005–2009) 软件作者: 阿尔伯特·奥利弗拉斯;罗伯特·尼文胡斯 相关软件: SMT-LIB;z3;MiniSat… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
QMiraXT公司 4份文件引用(2012–2016) 软件作者: 刘易斯,M.,舒伯特,T.,贝克尔,B。 相关软件: PicoSAT;MPIDepQBF;SATO… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)