×

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

数学检查

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)

I-RiSC公司

1份文件引用(2011)
软件作者: 乌尔里希·卢普;艾丽卡·阿尔布拉汉姆
相关软件: cvc3;ABsolver;OpenSMT…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前3名

主字段