水獭 325篇文献引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
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)…
VeriFast公司 75篇文献引用(2009–2023) 软件作者: 巴特·雅各布斯;Jan Smans;弗兰克·皮森斯 相关软件: 达夫尼;布吉;z3… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
测试程序集 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
阿贝拉 57篇文献引用(2008–2023) 软件作者: 安德鲁·加塞克 相关软件: Twelf公司;白鲸;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
梅蒂斯_ 58篇文献引用(1987–2023) 软件作者: Joe Leslie-Hurd;metis-users@gilith.com 相关软件: Isabelle/HOL;E定理证明器;TPTP… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
IMPS公司 52篇文献引用(1990–2021) 软件作者: Farmer,William M。;约书亚·D·古特曼。;塞耶,F.哈维尔 相关软件: 伊莎贝尔;Nuprl公司;Coq… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…
CeTA公司 49篇文献引用(2009–2023) 软件作者: 雷内·蒂曼;克里斯蒂安·斯特纳格尔 相关软件: Isabelle/HOL;伊莎贝尔;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);数论(11-XX);交换代数(13-XX)…
举起 42篇文献引用(2013年-2023年) 软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar 相关软件: 转让;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
换乘 42篇文献引用(2013年-2023年) 软件作者: 布莱恩·哈夫曼(Brian Huffman),Ondřej Kunčar 相关软件: 举起;Isabelle/HOL;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);常微分方程(34-XX)…
GEX公司 34份文件引用(1996年-2023年) 软件作者: Gao,X.-S.等。 相关软件: GeoGebra;日本国债交易所;GCLC… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);数值分析(65-XX)…
超防(Hyperproof) 27篇文献引用(1994–2022) 软件作者: Jon Barwise、John Etchemendy 相关软件: Speedith;伊莎贝尔;嘟嘟博士… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
天秤座 29篇文献引用(2019年-2023年) 软件作者: 谢、条成;张家恒;张玉鹏;Papamanthou、Charalampos;宋,黎明 相关软件: 力比奥;斯巴达人;利盖罗… 主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…
凯伊迈拉X 25篇文献引用(2015–2024) 软件作者: Fulton,N.、Mitsch,S.、Quesel,J.、Völp,M.、Platzer,A。 相关软件: 凯伊迈拉;SpaceEx;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
泽农 21篇文献引用(2007–2022) 软件作者: 理查德·博尼肯(Richard Bonichon);戴维·德拉哈耶(David Delahaye);Damien Doligez 相关软件: Coq;TPTP;dedukti… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
LPL软件 引用于20份文件(2000–2023) 软件作者: Dave Barker-Plummer、Jon Barwise、John Etchemendy;Albert Liu、Michael Murray、Emma Pease 相关软件: EPGY;减少;OTTER… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
CERES公司 21篇文献引用(2005–2021) 软件作者: Tsvetan Dunchev;亚历山大·莱奇(Alexander Leitsch);托默·利巴尔(Tomer Libal);丹尼尔·韦勒(Daniel Weller);布鲁诺沃尔岑洛格尔古 相关软件: GAPT;校对工具;梅斯4… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CoqHammer公司 19份文件引用(2017–2021) 软件作者: 库卡斯·扎伊卡;塞萨里·卡利西克 相关软件: Coq;E定理证明器;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数几何(14-XX)…
伊莎贝尔/UTP 19份文件引用(2015–2021) 软件作者: 西蒙·福斯特(Simon Foster);Zeyda,Frank;吉姆·伍德科克 相关软件: Isabelle/HOL;马戏团;Z、 … 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;对照(93-XX)
泰尤斯 18篇文献引用(2001–2022) 软件作者: Nadathur,G.,Mitchell,D.J。 相关软件: Twelf公司;阿贝拉;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
CSP校验器 17篇文献引用(2005–2022) 软件作者: 吉野县Isobe;马库斯·罗根巴赫 相关软件: PVS;Isabelle/HOL;FDR2… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
竖琴 15篇文献引用(1990–2020) 软件作者: Opacher,F。;苏恩,E 相关软件: SETHEO公司;TPTP;3TAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MB基础 17篇文献引用(1999–2006) 软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯 相关软件: TPS;欧米茄;数字(amp;N)… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
ArgoCLP公司 在14份文件中引用(2011–2023) 软件作者: 萨那斯托亚诺维奇;巴甫洛维奇,韦斯纳;贾尼契奇,普雷德拉格 相关软件: Coq;GCLC;TPTP… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)…
球状的 13份文件引用(2016–2022) 软件作者: Krzysztof Bar、Aleks Kissinger、Jamie Vicary 相关软件: 量子力学;github;果园… 主要字段: 结合环与代数(16-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…
TLAPS(TLAPS) 在14份文件中引用(1999–2023) 软件作者: 拉波特 相关软件: 薄层色谱法;常春藤;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
PRocH公司 12份文件引用(2013–2018) 软件作者: Cezary Kaliszyk;约瑟夫·乌尔班 相关软件: HOL灯;苍蝇斑点;E定理证明器… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
壁画 10篇文献引用(1991–2014) 软件作者: C.B.琼斯。;K.D.琼斯。;Lindsay,P.A。;R.D.摩尔。 相关软件: RAISE(提升);落叶松;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TAS公司 11份文件引用(1994–2006) 软件作者: 克里斯托夫·吕斯;伯克哈特·沃尔夫 相关软件: IsaWin;伊莎贝尔;数字(amp;N)… 主要字段: 数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)
AURA公司 10篇文献引用(2008–2016) 软件作者: 贾利民;杰弗里·沃恩(Jeffrey A.Vaughan)。;Karl Mazurak;赵建洲;卢克·扎尔科;约瑟夫·肖尔(Joseph Schorr);史蒂夫·兹丹切维奇 相关软件: Coq;F*;Agda… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
数据日志LITE 引用于9份文件(2002–2019) 软件作者: 格奥尔格·戈特洛布;Erich Grädel;赫尔穆特·维思 相关软件: XPath;Ltur;ComputeTW… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MAVEN公司 引用于9份文件(2007–2013) 软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz 相关软件: ProMoVer公司;CVPP;Aspectual Caml… 主要字段: 计算机科学(68-XX)
分离逻辑 10篇文献引用(2015–2022) 软件作者: 彼得·兰米奇(Peter Lammich);雷内·梅斯 相关软件: Isabelle/HOL;存档正式证据;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
Speedith公司 引用于9份文件(2012–2019) 软件作者: Urbas,M.、Jamnik,M.,Stapleton,G.、Flower,J。 相关软件: 超防;伊莎贝尔;迪亚贝利… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);凸和离散几何(52-XX)…
隐秘HOL 引用于9份文件(2017–2022) 软件作者: Basin,D.,Lochbihler,A.,Sefidgar,S.R。 相关软件: Isabelle/HOL;存档正式证据;HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
ModelPlex公司 7份文件引用(2016–2022) 软件作者: Mitsch,S.、Platzer,A。 相关软件: 凯伊迈拉;VeriPhy;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…
RALL公司 引用于9份文件(1997–2014) 软件作者: 大卫·冯·奥海姆,托马斯·格里茨纳 相关软件: 拉尔夫;Isabelle/HOL;ARA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
特克顿 5份文件引用(1994–2003) 软件作者: 卡普尔,D。;聂,X。;D.R.穆瑟。 相关软件: RRL;NQTHM;肯定… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
完备性定理 8份文件引用(2014–2018) 软件作者: 詹姆斯·马格森;汤姆·里奇 相关软件: 存档正式证据;Isabelle/HOL;FOL配件… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
电动汽车 6篇文献引用(2001年至2021年) 软件作者: 拉尔斯-奥克·弗雷德隆德;迪利安·古罗夫;托马斯·诺尔;Mads大坝;托马斯艺术;根纳迪·楚格诺夫 相关软件: 埃尔朗;伊莎贝尔;Coq… 主要字段: 计算机科学(68-XX)
校对工具 7份文件引用(2013–2021) 软件作者: C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件: TPTP;GAPT;CERES… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
RGITL公司 8份文件引用(2014–2022) 软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang 相关软件: 自旋蛋白;基夫;Dafny… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
VeriML公司 8份文件引用(2010–2016) 软件作者: 安东尼斯·斯坦普利斯;邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
VST-弗洛伊德 8份文件引用(2018–2023) 软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。 相关软件: Coq;工具链;锈蚀… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
塔克 7份文件引用(2007–2012) 软件作者: 大卫·巴尔德(David Baelde);米勒,戴尔;斯诺,扎卡里 相关软件: 阿贝拉;贝德维尔;Twelf… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
自动变速器2 6篇文献引用(2016年至2019年) 软件作者: 詹伯华 相关软件: Isabelle/HOL;伊莎贝尔;Mizar… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);代数拓扑(55-XX)…
证书密码 5份文件引用(2009–2017) 软件作者: 吉尔·巴特;本杰明·格雷戈里;圣地亚哥Zanella Béguelin 相关软件: Coq;Coq/SS反射;EasyCrypt… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
卢比 6篇文献引用(2007–2010) 软件作者: 安德烈·鲍尔(Andrej Bauer)、克里斯托弗·斯通(Christopher A.Stone) 相关软件: OCaml;真实伦敦银行同业拆借利率;iRRAM… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
Kumo公司 5份文件引用(1999–2004) 软件作者: 约瑟夫·戈根(Joseph Goguen)、凯·林(Kai Lin)、格里戈·罗苏(Grigore Rosu)、博格丹·瓦林斯基(Bogdan Warinschi) 相关软件: OBJ咖啡馆;团结;OBJ3型 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
MoSeL公司 5份文件引用(2018–2023) 软件作者: Robbert Krebbers;雅克·亨利·乔丹(Jacques-Henri Jourdan);Ralf Jung;约瑟夫·塔萨罗蒂;Kaiser,Jan-Oliver;阿明·蒂曼尼;亚瑟·查古埃罗(Arthur Charguéraud);德雷克·德雷尔 相关软件: Coq;蚱蜢;VeriFast… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TCB公司 5份文件引用(2003–2021) 软件作者: Andrew W.Appel。;Michael,新植物;阿伦·斯塔姆(Aaron Stump);罗伯托·维尔加 相关软件: Coq;MetaCoq;ELPI… 主要字段: 计算机科学(68-XX)
阿格利特 3份文件引用(2010年至2017年) 软件作者: 杰米·莫根斯坦(Jamie Morgenstern);丹尼尔·李卡塔(Daniel R.Licata)。 相关软件: 层流;哈斯克尔;Ynot… 主要字段: 计算机科学(68-XX)
AgsyHOL公司 4份文件引用(2013–2015) 软件作者: F.林布拉德。 相关软件: TPTP;尼特皮克;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
认识逻辑 4份文件引用(2020–2021) 软件作者: 阿斯塔·哈尔克 相关软件: 存档正式证据;Isabelle/HOL;Agda… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
差异_游戏_逻辑 3份文件引用(2015–2022) 软件作者: 安德烈·普拉泽 相关软件: 凯伊迈拉;贝勒红;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
游戏Pad 3份文件引用(2019年-2023年) 软件作者: Daniel Huang;Dhariwal,Prafulla;歌曲,黎明;伊利亚·萨茨克沃 相关软件: E定理证明器;FEMaLeCoP;精简CoP… 主要字段: 计算机科学(68-XX)
ILLTP公司 3份文件引用(2019年至2021年) 软件作者: 卡洛斯·奥拉特(Carlos Olarte);瓦莱丽娅·德·佩瓦;伊莱恩·皮门特尔(Elaine Pimentel);吉赛尔·赖斯 相关软件: 洛利;z3;DeepProbLog… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IsarMathLib公司 3份文件引用(2017–2021) 软件作者: – 相关软件: 元数学;米扎尔;伊莎贝尔/采埃孚… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)
Isar步骤 3份文件引用(2021–2023) 软件作者: 李文达;于磊;吴玉怀;劳伦斯·C·鲍尔森。 相关软件: Isabelle/HOL;HOList;TacTok… 主要字段: 计算机科学(68-XX)
KBCV公司 3份文件引用(2011–2015) 软件作者: 托马斯·斯特纳格尔(Thomas Sternagel);哈拉尔赞克尔 相关软件: mkbTT;CeTA;斯洛思罗普… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Metamath零 3份文件引用(2020–2023) 软件作者: 马里奥·卡内罗 相关软件: CakeML;Isabelle/HOL;Coq… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Symlog公司 3份文件引用(1994–2019) 软件作者: 弗雷德里克·波托拉罗。 相关软件: 3TAP;思想者 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
经验证的校准仪 3份文件引用(2009–2018) 软件作者: 汤姆·里奇 相关软件: 存档正式证据;Isabelle/HOL;FOL_Harrison… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
艾伦TAP 2份文件引用(2008–2021) 软件作者: Near,Joseph P。;William E.伯德。;丹尼尔·弗里德曼(Daniel P.Friedman)。 相关软件: Freshml;精益TAP;卡伦… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
欧德希洛斯 2份文件引用(1989–1998) 软件作者: Toshiro Minami;Hajime Sawamura;恭子筑屋 相关软件: HOL;伊莎贝尔 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
GLEFatinf公司 2份文件引用(1994–1998) 软件作者: R.Caferra;M.赫敏特 相关软件: TABLEAUX公司;克里普克;数字(amp;N)… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
戈兰 1份文件引用(2022) 软件作者: 朱莉·凯勒;Johann Rosain;戴维·德拉哈耶(David Delahaye);西蒙·罗比拉德;布齐安·欣德·莉莉亚 相关软件: TPTP;睫毛;小猎犬… 主要字段: 计算机科学(68-XX)
杰克洛伊 1份文件引用(2012) 软件作者: Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件: 雅典娜;凯洛伊;KeY… 主要字段: 计算机科学(68-XX)
链接 2份文件引用(2002年至2017年) 软件作者: 哈伯特,L。;诺丁,J.-M。;D.加尔米奇。 相关软件: JGraph;工作流FM;HOL灯光… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
软体动物 2份文件引用(1994–1996) 软件作者: Bradley L.理查兹。;伊娜·克拉恩;阿兰·斯梅尔(Alan Smaill);杰兰特·威金斯。 相关软件: 牡蛎;蛤;数字(amp;N)… 主要字段: 计算机科学(68-XX)
雅拉 2份文件引用(2018–2021) 软件作者: 奥利维·洛朗 相关软件: ANTLR;PySpark;ConArg2… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)
抽象稳健性 1份文件引用(2018) 软件作者: 贾斯敏·克里斯蒂安·布兰切特;安德烈·波佩斯库;德米特里·特拉泰尔 相关软件: github;格栅;FOL_Harrison… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
埃克斯特拉克托 在0个文档中引用 软件作者: Mohamed Yacine El Haddad、Guillaume Burel、Frédéric Blanqui 相关软件: ArchSAT;拉链位置;E定理证明器… 主要字段: –
许慧欣 1份文件引用(2022) 软件作者: 克里斯蒂安·阿拉巴阿(Christian Alrabbaa);弗兰茨·巴德;斯特凡·博格沃德;雷蒙·达赫塞特;帕特里克·科普曼(Patrick Koopmann);朱利安·梅恩德斯 相关软件: ELK;蛋白质-TS;FAME公司 主要字段: 计算机科学(68-XX)
KEIM公司 1份文件引用(2005) 软件作者: Huang,X.、Kerber,M.、Kohlhase,M.,Melis,E.、Nesmith,D.、Richts,J.、Siekmann,J。 相关软件: 欧米茄;狮子座;MKRP公司 主要字段: 计算机科学(68-XX)
凯洛伊 1份文件引用(2012) 软件作者: 马蒂亚斯·乌尔布里奇;乌尔里希·盖尔曼;艾尔·加齐(El Ghazi),阿布巴克·阿赫拉夫(Aboubakr Achraf);马纳·塔赫迪里 相关软件: 雅典娜;JKelloy;KeY… 主要字段: 计算机科学(68-XX)
工作流FM 1份文件引用(2017) 软件作者: 帕帕帕纳吉奥图,Petros;雅克·弗莱里奥特 相关软件: JGraph;HOL灯;链接… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)