萨奇莫 92份文件引用(1988–2023) 软件作者: Manthey,R.,Bry,F。 相关软件: TPTP;水獭;SETHEO… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);群论与推广(20-XX)…
萨塔拉克 67篇文献引用(2010–2023) 软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒 相关软件: TPTP;Isabelle/HOL;LEO-II… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
精益CoP 引用于40篇文献(2001–2023) 软件作者: 延斯·奥顿 相关软件: 依兰CoP;TPTP;VAMPIRE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者: Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件: E定理证明器;马拉雷亚;Mizar… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)
泽农 21篇文献引用(2007–2022) 软件作者: 理查德·博尼肯(Richard Bonichon);戴维·德拉哈耶(David Delahaye);Damien Doligez 相关软件: Coq;TPTP;dedukti… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
FEMaLeCoP公司 23篇文献引用(2015–2023) 软件作者: 塞萨里·卡利西克;约瑟夫·乌尔班 相关软件: E定理证明器;MaLeCoP;精简CoP… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);几何(51-XX)…
ModLeanTAP模式 19份文件引用(1998–2019) 软件作者: 贝恩哈德·贝克特;拉杰夫·戈尔 相关软件: 精益TAP;Coq;MSPASS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TTM公司 18篇文献引用(2007–2023) 软件作者: J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas 相关软件: TRP++;拉比尼泽;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
竖琴 15篇文献引用(1990–2020) 软件作者: Opacher,F。;苏恩,E 相关软件: SETHEO公司;TPTP;3TAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MetTeL公司 16篇文献引用(2011–2021) 软件作者: 蒂什科夫斯基,德米特里;雷娜特·施密特(Renate A.Schmidt)。;穆罕默德·科达达迪 相关软件: LoTREC公司;KL-ONE;Gen2sat… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
斯巴达克斯 14篇文献引用(2010–2021) 软件作者: 丹尼尔·戈兹曼(Daniel Götzmann);马克·卡明斯基;格特·斯莫尔卡 相关软件: HTab;FaCT++;InKreSAT… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
E-KRHper公司 11份文件引用(2007–2021) 软件作者: 比约恩·佩尔泽;Christoph Wernhard公司 相关软件: E定理证明器;E-Darvin;萨奇莫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
3TAP公司 13份文件引用(1993–2019) 软件作者: 雷纳·Hähnle;贝恩哈德·贝克特;斯特凡·格伯丁;沃纳·科尼格 相关软件: SETHEO公司;HARP;TPTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
fCube(多维数据集) 10篇文献引用(2010–2022) 软件作者: 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 相关软件: ILTP;Imogen;IntHistGC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
InKreSAT公司 9份文件引用(2013–2022) 软件作者: 马克·卡明斯基(Mark Kaminski);托比亚斯·特比 相关软件: 斯巴达克斯;BDDTab;FaCT++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HyLoRes公司 7份文件引用(2002–2020) 软件作者: Areces,C。;J.Heguiabehere。 相关软件: 斯巴达克斯;HyLoTab;HTab… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TATL公司 7份文件引用(2009–2017) 软件作者: 艾米莉·大卫 相关软件: CL校准仪;VAMPIRE公司;TRP++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
西比尔 6篇文献引用(2010–2020) 软件作者: 塞里托、塞雷内拉;玛尔塔·恰尔迪亚·梅耶 相关软件: 斯巴达克斯;HyLoTab;HTab… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CTL-RP公司 5份文件引用(2010–2021) 软件作者: 张澜;乌尔里希·赫斯塔特;克莱尔·狄克逊 相关软件: SPASS;TRP++;TeMP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Lotrec方案 4份文件引用(2011–2015) 软件作者: 弗朗索瓦·施瓦岑特鲁伯 相关软件: LoTREC公司;SCIFF;PVS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TWB公司 3份文件引用(2009–2019) 软件作者: 彼得罗·阿巴特;拉杰夫·戈尔 相关软件: LoTREC公司;MSPASS;SableCC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PITP项目 3份文件引用(2007–2008) 软件作者: 亚历山德罗·阿韦隆;吉多·菲奥里诺;乌戈·莫斯卡托 相关软件: ILTP;Nuprl公司;Coq公司 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
R-SATCHMO公司 引用于2份文件(2004–2005) 软件作者: 何立峰;赵玉燕;伊藤秀内里 相关软件: SATCHMOREBID;I-SATCHMO;萨奇莫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
艾伦TAP 引用于2份文件(2008–2021) 软件作者: Near,Joseph P。;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。 相关软件: Freshml;精益TAP;卡伦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CL校准仪 引用于2份文件(2014–2015) 软件作者: Nalon,Cláudia;张澜;克莱尔·狄克逊;乌尔里希·赫斯塔特 相关软件: TATL;VAMPIRE公司;TRP++… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
戈兰 1份文件引用(2022) 软件作者: 朱莉·凯勒;Johann Rosain;戴维·德拉哈耶(David Delahaye);西蒙·罗比拉德;布齐安·欣德·莉莉亚 相关软件: TPTP;睫毛;小猎犬… 主要字段: 计算机科学(68-XX)
GQML公司 引用于2份文件(2002–2007) 软件作者: 提昂,V。;塞里托,S。;玛尔塔·恰尔迪亚·梅耶 相关软件: TABLEAUX公司;吞咽;ModLeanTAP模式 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
JTabWb公司 引用于2份文件(2017–2019) 软件作者: 毛罗·法拉利;佛罗伦萨,卡米洛;吉多·菲奥里诺 相关软件: Imogen;fCube;ILTP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
KEMS公司 引用于2份文件(2009–2016) 软件作者: 阿道夫·内托;马塞洛·芬格 相关软件: MetTeL;Gen2sat;NESCOND… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)