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)