阿格达 233份文件引用(1999–2024) 软件作者: 乌尔夫·诺雷尔 相关软件: Coq;哈斯克尔;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
DRAT-饰件 56篇文献引用(2014–2023) 软件作者: 内森·韦兹勒(Nathan Wetzler);Heule,Marijn J.H。;沃伦·亨特。 相关软件: MiniSat;Isabelle/HOL;CaDiCaL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…
CVC精简版 51篇文献引用(2004–2020) 软件作者: 肖恩·麦克劳林(Sean Mclaughlin);克拉克·巴雷特;葛叶婷 相关软件: HOL灯;糠;SMT-LIB… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
常春藤 45篇文献引用(2000–2023) 软件作者: 威廉·麦库恩;奥尔加·舒姆斯基 相关软件: 常春藤;z3;TPTP… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)
CalcCheck(计算检查) 41篇文献引用(1993–2021) 软件作者: 沃尔夫拉姆·卡尔 相关软件: Z;Coq;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…
TLA公司 29篇文献引用(1992–2023) 软件作者: L.兰波特 相关软件: 自旋蛋白;z3;加号… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
风笛手 28篇文献引用(2002–2017) 软件作者: 萨加尔·查基;Rajamani,Sriram K。;雅各布·雷霍夫 相关软件: SLMC;旋风;PiDuce… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
HySAT卫星 26篇文献引用(2006–2021) 软件作者: Fränzle,Martin;克里斯蒂安·赫尔德 相关软件: 高科技;数学SAT;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
迪杜克蒂 24篇文献引用(2012–2023) 软件作者: 马修·博埃斯弗鲁格(Mathieu Boespflug)、罗南·赛拉德(Ronan Saillard)、弗朗索瓦·瑟雷(François Thiré)、加斯帕德·弗雷(Gaspard Férey) 相关软件: Coq;泽农;HOL灯… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
CAVA LTL模型检查器 23篇文献引用(2015–2021) 软件作者: 哈维尔·埃斯帕尔扎(Javier Esparza)、彼得·兰米奇(Peter Lammich)、雷内·诺依曼(Rene Neumann)、托比亚斯·尼普科(Tobias Nipkow)、亚历山大·辛普夫(Alexander Schimpf);Jan-Georg Smaus公司 相关软件: Isabelle/HOL;存档正式证据;伊莎贝尔… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);概率论与随机过程(60-XX)…
HOL/旋转 22篇文献引用(2000–2017) 软件作者: 卡尔蒂基扬·巴尔干;卡尔·A·冈特。;达沃·奥布拉多维奇 相关软件: 自旋蛋白;Uppaal;AODV… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
F类* 21篇文献引用(2011–2020) 软件作者: 微软研究院(INRIA);Swamy,Nikhil;Chen,Juan;Fornet,塞德里克;支柱,Pierre-Yves;卡尔蒂基扬·巴尔干;杨吉恩 相关软件: Coq;Nuprl公司;EasyCrypt… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
常规集合 16篇文献引用(2011–2018) 软件作者: 亚历山大·克劳斯;托比亚斯·尼普科 相关软件: Isabelle/HOL;Coq;存档正式证据… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)
SMTCoq公司 14篇文献引用(2017–2022) 软件作者: Ekici,B.等人。 相关软件: Coq;Isabelle/HOL;CVC4… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)…
VeriML公司 8份文件引用(2010–2016) 软件作者: 安东尼斯·斯坦普利斯(Antonis Stampoulis);邵,钟 相关软件: Coq;甲基丙烯酸甲酯;seL4… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
梅佐 6篇文献引用(2014–2022) 软件作者: 弗朗索瓦·波蒂埃;乔纳森·普罗琴科 相关软件: 锈蚀;锈带;工具链… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
PREVAIL公司 5份文件引用(1992–2014) 软件作者: 多米尼克·博里奥内;劳伦斯·皮埃尔;阿什拉夫·塞勒姆 相关软件: Nuprl公司;辅酶MTU;Coquet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
蛋糕 6篇文献引用(2021–2023) 软件作者: Tan,Yong Kiam;Heule,Marijn J.H。;玛格努斯·奥·米林。 相关软件: DRAT-饰件;CaDiCaL;Paracooba… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
沙帕尔 6篇文献引用(2016年-2023年) 软件作者: 莱萨尼,莫森;克里斯蒂安·贝尔(Christian J.Bell)。;亚当·奇利帕拉 相关软件: 铁人舰队;威尔第;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
拉尔夫 6篇文献引用(1997–2014) 软件作者: 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特 相关软件: RALL;RelView;Isabelle/HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
jMocha公司 5份文件引用(2008–2023) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯,A。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。 相关软件: 摩卡;MCMAS;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
MFE公司 4份文件引用(2012–2023) 软件作者: 弗朗西斯科·杜兰;卡米洛·罗查;何塞·M·阿尔瓦雷斯。 相关软件: 莫德;ITP;P审计… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
TCB公司 5份文件引用(2003–2021) 软件作者: Andrew W.Appel。;Michael,新植物;阿伦·斯塔姆(Aaron Stump);罗伯托·维尔加 相关软件: Coq;MetaCoq;ELPI… 主要字段: 计算机科学(68-XX)
AgsyHOL公司 4份文件引用(2013–2015) 软件作者: F.林布拉德。 相关软件: TPTP;Nitpick公司;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
AsmetaSMV公司 引用于2份文件(2016–2021) 软件作者: Arcaini,P.、Gargantini,A.、Riccobene,E。 相关软件: 昏迷;NuSMV;ASMETA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
鳄鱼 引用于2份文件(2011–2021) 软件作者: Colange,M。;Baarir,S。;Kordon,F。;蒂里·米格(Thierry-Mieg,Y.)。 相关软件: 海伦娜;AlPiNA;GreatSPN公司 主要字段: 计算机科学(68-XX)
IsarMathLib公司 3份文件引用(2017–2021) 软件作者: – 相关软件: 元数学;米扎尔;伊莎贝尔/采埃孚… 主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)
VeriStar公司 3份文件引用(2012–2016) 软件作者: 戈登·斯图尔特;Lennart Beringer;安德鲁·W·阿佩尔。 相关软件: Coq;jStar;小脚… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
ABSFOL公司 引用于2份文件(1996–1997) 软件作者: 福斯托·金西格里亚(Fausto Giunchiglia);阿道夫·维拉菲奥里塔 相关软件: InKa;KIV;标记器… 主要字段: 计算机科学(68-XX)
代码2发票 引用于2份文件(2020–2022) 软件作者: 司旭杰;阿迪提亚·奈克(Aaditya Naik);戴、韩军;Mayur Naik;宋乐 相关软件: CLN2INV公司;z3;CVC4SY… 主要字段: 计算机科学(68-XX)
DRABT公司 引用于2份文件(2015–2016) 软件作者: Marijn J.H.Heule;阿明·比尔 相关软件: MiniSat;DRAT-饰件;PicoSAT… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)
假设-检查器 引用于2份文件(2017年至2018年) 软件作者: 彼得·格雷戈(Petr Gregor);诺沃顿,托马斯;什·克里科夫斯基(Rister) 相关软件: github 主要字段: 组合数学(05-XX);信息与通信理论,电路(94-XX)
Nusschecker(数字检查器) 引用于2份文件(2020–2023) 软件作者: 丹尼尔·考夫曼(Daniela Kaufmann);阿明·比尔 相关软件: 帕切克;博斯普鲁斯;RevSCA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
克雷尔夫姆 1份文件引用(2021年) 软件作者: Kang,J.、Kim,Y.、Song,Y.,Lee,J.,Park,S.、Shin,M.D.、Kim。 相关软件: WebAssembly;CVT;松散… 主要字段: 计算机科学(68-XX)
埃克斯特拉克托 在0个文档中引用 软件作者: Mohamed Yacine El Haddad、Guillaume Burel、Frédéric Blanqui 相关软件: ArchSAT;拉链位置;E定理证明器… 主要字段: –
EthVer公司 1份文件引用(2021年) 软件作者: 尤卡斯·马祖雷克 相关软件: 曼蒂科尔;甲氰菊酯;Why3… 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)