×

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

BWA公司

51篇文献引用(2010–2022)
软件作者: 李宏。;杜宾·R。
相关软件: 肥皂;鲍蒂2;Samtools…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

杰斯特纳

29篇文献引用(2002–2023)
软件作者: 大卫·沃姆;Pawel Winter;马丁·扎卡里亚森
相关软件: 斯坦利布;CPLEX;DIMACS…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);几何(51-XX)…

libexact数据库

引用于26份文件(2008–2024)
软件作者: P.Kaski和O.Pottonen
相关软件: 鹦鹉螺;帝国;痕迹…
主要字段: 组合数学(05-XX);群论与推广(20-XX);几何(51-XX)…

SAT解算器验证

6篇文献引用(2009–2023)
软件作者: 菲利普·马里克
相关软件: 存档正式证据;Isabelle/HOL;箔条…
主要字段: 计算机科学(68-XX)

阿根廷

3份文件引用(2002–2009)
软件作者: Serge S.Tratch。;Marina S.Molchanova。;尼古拉·泽菲罗夫。
相关软件: ——
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

图形回溯

3份文件引用(2020–2021)
软件作者: 克里斯托弗·杰斐逊;马库斯·普菲弗;Wilson,Wilf A。;丽贝卡·沃尔德克
相关软件: nauti;缺口;痕迹…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

尤里卡

2份文件引用(2010–2011)
软件作者: 亚历山大·纳达尔(Alexander Nadel);莫兰·戈登;阿米特·帕尔蒂;齐亚德·汉纳
相关软件: 迷你卫星;糠;Zchaff2004…
主要字段: 计算机科学(68-XX)

EvIA公司

1份文件引用(2004)
软件作者: 巴瓦尼,S.杜尔加;阿伦·K·普贾里。
相关软件: ——
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段