×

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

ETPS公司

162篇文献引用(1986–2022)
软件作者: Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei
相关软件: TPS;Isabelle/HOL;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

测试程序集

78篇文献引用(1990–2022)
软件作者: Andrews,Peter B。;乍得·E·布朗。
相关软件: TPTP;ETPS;HOL…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

MeatExe公司

69篇文献引用(1994年-2023年)
软件作者: 迈克尔·林格
相关软件: 间隙;岩浆;ATLAS集团代表…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);群论与推广(20-XX)…

EAT(吃)

18篇文献引用(2001–2023)
软件作者: 弗朗西斯·谢尔盖;朱利奥·鲁比奥
相关软件: Kenzo;ACL2;Coq…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);代数拓扑(55-XX)…

威德加牌手表

13份文件引用(2003–2022)
软件作者: 奥斯内尔·布罗奇·克里斯托(Osnel Broche Cristo)、阿伦·赫尔曼(Allen Herman)、亚历山大·科诺瓦洛夫(Alexander Konovalov
相关软件: 间隙;PARI/GP;一致性…
主要字段: 数论(11-XX);代数几何(14-XX);结合环与代数(16-XX)…

PrimGrp公司

5份文件引用(1988–2021)
软件作者: Alexander Hulpke、Colva M.Roney-Dougal、Christopher Russell
相关软件: 间隙;岩浆;凯利…
主要字段: 群论与推广(20-XX)

IRREDSOL公司

2份文件引用(2013–2022)
软件作者: 伯克哈德·霍夫林
相关软件: 间隙;二氧化碳;岩浆
主要字段: 群论与推广(20-XX)

基因型

1份文件引用(1991)
软件作者: 塞巴斯蒂安·肖姆扬
相关软件:
主要字段: 计算机科学(68-XX)

筛选结果依据…