莫德 646份文件引用(1984–2023) 软件作者: Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;莫德团队 相关软件: OBJ咖啡馆;OBJ3;ELAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
水獭 325篇文献引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
吸血鬼 307份文件引用(1985–2023) 软件作者: 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 相关软件: TPTP;E定理证明器;SPASS… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几何(51-XX)…
ELAN公司 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe Ringeissen)、玛丽安·维特克(Marian Vittek) 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
巴氏合金 72份文件引用(1988–2013) 软件作者: 马里奥·罗德里格斯-阿塔莱霍 相关软件: 内核LEAF;玩具;咖喱… 主要字段: (68N17-XX);(68N15-XX);(68Q55-XX)
玩具 56篇文献引用(2001–2022) 软件作者: F.J.López Fraguas,J.Sánchez Hernández 相关软件: 巴贝尔;哈斯克尔;PAKCS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CeTA公司 49篇文献引用(2009–2023) 软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔 相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…
CiME公司 38篇文献引用(1997–2022) 软件作者: Évelyne Contejean、Claude Marché、Andrei Paskevich、Xavier Urbain 相关软件: AProVE;蒂罗尔;Coq… 主要字段: 数学逻辑与基础(03-XX);场论与多项式(12-XX);交换代数(13-XX)…
日本运通银行 25篇文献引用(2002–2022) 软件作者: 克劳斯·哈弗伦德;格里高·罗什乌 相关软件: Java PathFinder;莫德;班德拉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
爪哇风扇 在30份文件中引用(2004–2018) 软件作者: 阿扎德·法尔赞;陈冯;何塞·梅塞盖尔;格里高·罗什乌 相关软件: 莫德;K校准仪;MMT… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
D装货商 12份文件引用(2009–2023) 软件作者: 阿德里安·里斯科;阿尔贝托·维尔德乔(Alberto Verdejo);马丁·奥列特,纳西索;拉斐尔·卡巴列罗 相关软件: 莫德;阿尼玛;Web-TLR… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
毫米 13份文件引用(2007–2019) 软件作者: Fabricio Chalub;克里斯蒂亚诺·布拉加 相关软件: 莫德;K校准仪;JavaFAN… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
球状的 13份文件引用(2016–2022) 软件作者: Krzysztof Bar、Aleks Kissinger、Jamie Vicary 相关软件: 量子力学;github;opetopy… 主要字段: 结合环与代数(16-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…
帕戈达 12份文件引用(2007–2015) 软件作者: Wirsing,Martin;Denker,砂砾;卡罗琳·塔尔科特;安迪·波乔(Andy Poggio);Briesemeister琳达 相关软件: 莫德;科莱姆;重复… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
PRocH公司 12份文件引用(2013–2018) 软件作者: Cezary Kaliszyk;约瑟夫·乌尔班 相关软件: HOL灯;苍蝇斑点;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
红衣主教 10篇文献引用(2007–2020) 软件作者: 弗朗西斯科·阿泽夫多 相关软件: CPGraph;Z/EVES;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
时刻2 9份文件引用(2010–2016) 软件作者: 阿图尔·博罗纳特;彼得·塞巴·奥尔夫茨基 相关软件: 莫德;ITP/OCL;托勒密… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
特克顿 5份文件引用(1994–2003) 软件作者: 卡普尔,D。;聂,X。;D.R.穆瑟。 相关软件: RRL;NQTHM;确认… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
Java+ITP 7份文件引用(2007–2013) 软件作者: Sasse,R.,Meseguer,J。 相关软件: 莫德;爪哇风扇;K校准仪… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
KOOL公司 7份文件引用(2009-2016年) 软件作者: Hills,M.,Rosu,G。 相关软件: K校准仪;莫德;K工具… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
出售 8份文件引用(2019–2022) 软件作者: 曼努埃尔·比克勒、迈克尔·莫拉克、斯特凡·沃尔特兰 相关软件: 克林戈;htd;eclingo… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
腹板-TLR 5份文件引用(2011–2016) 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;哈维尔·埃斯佩特;丹尼尔·罗梅罗 相关软件: 莫德;iJulienne;动画… 主要字段: (68Q60-XX)
CS Prolog公司 7份文件引用(1988–2002) 软件作者: 河村俊雄;大和田,Hayato;Fumio沟口 相关软件: Prolog;CiaoPP;再见… 主要字段: 计算机科学(68-XX)
艾朱利安 5份文件引用(2014年至2020年) 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜 相关软件: 莫德;Web-TLR;动画… 主要字段: (68个-XX)
阿尼玛 5份文件引用(2014–2023) 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;弗朗西斯科·弗雷奇纳;朱莉娅·萨皮娜 相关软件: 莫德;Web-TLR;D沸腾器… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
距离-弧度 5份文件引用(2011–2015) 软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔 相关软件: 莫德;爪哇风扇;Java+ITP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IsaFoL公司 5份文件引用(2016–2018) 软件作者: Branchette,J.C.、Fleury,M.、Schlichtkrull,A.、Traytel,D。 相关软件: Isabelle/HOL;存档正式证据;versat… 主要字段: –
皮尔洛 4份文件引用(2014–2022) 软件作者: Lenz Belzner;德尼古拉(De Nicola)、罗科(Rocco);安德里亚·万丁;马丁·威尔辛 相关软件: MultiVeStA;SCEL;莫德… 主要字段: 统计学(62-XX);计算机科学(68-XX)
SAFKASI公司 引用于3份文件(2005–2015) 软件作者: D.S.Wallach、A.W.Appel、E.W.Felten 相关软件: 棱镜;JFlow;活页夹… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HI毛德 1份文件引用(2015) 软件作者: 穆罕默德·法德利西亚(Muhammad Fadlisyah);彼得·塞巴·奥维茨基 相关软件: 莫德;莫德-NPA;P审计… 主要字段: 历史与传记(01-XX);计算机科学(68-XX)
RDL公司 4份文件引用(2001年-2005年) 软件作者: 亚历山德罗·阿曼多;卢卡·孔帕尼亚(Luca Compagna);西尔维奥·兰伊斯 相关软件: NQTHM;ACL2;剑桥LCF… 主要字段: 计算机科学(68-XX)
达塔克 引用于3份文件(1998–2010) 软件作者: 劳伦·维格纳龙 相关软件: RSBR_;ElemStatLearn;里奥纳… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
KBCV公司 引用于3份文件(2011–2015) 软件作者: 托马斯·斯特纳格尔(Thomas Sternagel);哈拉尔德·赞克 相关软件: mkbTT;CeTA;斯洛思罗普… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
修订SCA 引用于3份文件(2020–2021) 软件作者: Mahzoon,A.、Große,D.、Drechsler,R。 相关软件: PolyCleaner;GenMul;multgen… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
经验证的校准仪 引用于3份文件(2009–2018) 软件作者: 汤姆·里奇 相关软件: 存档正式证据;Isabelle/HOL;FOL_Harrison… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CBabel公司 2份文件引用(2005–2009) 软件作者: 亚历山大·雷德梅克;克里斯蒂亚诺·布拉加;亚历山大·斯塔金伯格 相关软件: 莫德;GraphML;SLMC… 主要字段: 计算机科学(68-XX)
DyNetiKAT公司 2份文件引用(2022) 软件作者: 乔治亚娜·卡尔泰斯;霍贾特,侯赛因;穆萨维、穆罕默德·雷扎;Tunç,Hünkar坎 相关软件: NetKAT;莫德;p4v… 主要字段: 计算机科学(68-XX)
尤奥迪洛斯 2份文件引用(1989–1998) 软件作者: Toshiro Minami;Hajime Sawamura;恭子筑屋 相关软件: HOL;伊莎贝尔 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
费利克斯 2份文件引用(2009–2010) 软件作者: Morra,C.、J.Becker、M.Ayala-Rincón、R.W.Hartenstein 相关软件: CoLoR;RRL;SAEPTUM… 主要字段: –
考拉 1份文件引用(2023) 软件作者: 博纳西纳(Bonacina)、玛丽亚·保拉(Maria Paola);莎拉·温克勒 相关软件: 常春藤;常春藤;iProver… 主要字段: (68V15-XX)
宠物老板 1份文件引用(2018) 软件作者: 余存溪;亚辛,阿蒂夫;苏天凯;阿兰·米什琴科(Alan Mishchenko);马西耶·西塞尔斯基 相关软件: ABC;稳定;单一 主要字段: 计算机科学(68-XX)