×

找到132个软件包(结果1-100)

可口可乐

软件作者:德林格,克里斯托夫;Duford,让·弗朗索瓦
参考文献: 1816份出版物(1993-2022)
相关软件: 伊莎贝尔/霍尔;伊莎贝尔;霍尔;PVS公司;霍尔灯;Nuprl…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);范畴论;同调代数(18-XX)

自动机

软件作者:N。G、 德布鲁因;维迪迪克,弗里克;卡马雷丁,费尔鲁兹;莱恩,吐温;内德佩尔特,罗伯
参考文献: 423份出版物(1970年至2022年)
相关软件: 成本;Nuprl公司;毫升;伊莎贝尔;后桅;乐高…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

阿格达

软件作者:乌尔夫·诺瑞尔
参考文献: 208种出版物(1999-2022年)
相关软件: 成本;哈斯克尔;霍尔灯;伊莎贝尔/霍尔;Nuprl公司;伊德里斯…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);范畴论;同调代数(18-XX)

Isar

软件作者:马卡里乌斯温泽尔
参考文献: 143种出版物(2000年至2021年)
相关软件: 伊莎贝尔;伊莎贝尔/霍尔;成本;后桅;伊莎贝尔/伊萨尔;霍尔…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);组合数学(05-XX)

苍蝇

软件作者:哈尔斯,托马斯·C。;Tankink,Carst公司;卡利斯齐克,塞扎里;城市,约瑟夫;Geuvers,赫尔曼
参考文献: 122种出版物(2004-2022年)
相关软件: 霍尔灯;伊莎贝尔/霍尔;成本;开普勒98;后桅;霍尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);凸与离散几何(52-XX)

喀拉喀托

软件作者:3月,C。;保林·莫林,C。;德克萨斯州乌尔班。
参考文献: 77种出版物(2004-2021年)
相关软件: 原因3;球茎;JML公司;布吉;规格;因为…
主要领域: 数理逻辑与基础(03-XX);偏微分方程组(35-XX);数值分析(65-XX)

Coq/S参考

软件作者:微软国际研究院联合中心
参考文献: 71种出版物(2008-2021年)
相关软件: 成本;伊莎贝尔/霍尔;后桅;ACL2;伊莎贝尔;苍蝇…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);群论与概化(20-XX)

一般证明

软件作者:阿斯皮纳尔,大卫
参考文献: 50种出版物(2000-2019)
相关软件: 成本;伊莎贝尔;伊莎贝尔/霍尔;后桅;Isar;伊莎贝尔/杰迪特…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);偏微分方程(35-XX)

玉米

软件作者:亨克·巴伦德雷格特、文斯·Bárány、鲁伊斯·克鲁斯·菲利佩、赫尔曼·格韦尔斯、马里乌斯·吉罗、里克·范金内肯、迪米特里·亨德里克斯、塞巴斯蒂安·汉德尔、塞扎里·卡利斯克、B·W·M·柯克尔斯、皮埃尔·勒图泽、艾里斯·勒布、莱昂内尔·马曼内姆·米拉德·尼基、拉塞尔·奥康纳、兰迪·波拉克、尼科莱·V·施密列夫、巴斯斯皮特斯、丹·西内克、弗里克·维迪里克、扬·茨瓦南堡
参考文献: 39种出版物(2004-2022年)
相关软件: 成本;伊莎贝尔/霍尔;后桅;ACL2;霍尔灯;PVS…
主要领域: 数理逻辑与基础(03-XX);实函数(26-XX);数值分析(65-XX)

CiME公司

软件作者:Évelyne Contejean、Claude marche、Andrei Paskevich、Xavier Urbain
参考文献: 37种出版物(1997-2019)
相关软件: 批准;酪氨酸;成本;CeTA;颜色;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);场论与多项式(12-XX);交换代数(13-XX)

颜色

软件作者:F。布朗基,W.德洛贝尔,S.Coupet Grimal,S.Hinderer,A.Koprowski
参考文献: 37种出版物(2006-2019)
相关软件: 成本;伊莎贝尔/霍尔;CeTA;批准;CiME公司;蒂罗尔…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)

软件作者:纳涅夫斯基,亚历山达;莫里塞特,格雷格;希纳,阿夫拉罕;哥维罗,保罗;伯克达尔,拉尔斯
参考文献: 34种出版物(2008-2019)
相关软件: 成本;伊莎贝尔/霍尔;哈斯克尔;伊莎贝尔;VeriFast公司;规格…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);范畴论;同调代数(18-XX)

伊莎贝尔/绝地

软件作者:温泽尔,马卡里厄斯
参考文献: 34种出版物(2011-2022)
相关软件: 伊莎贝尔;伊莎贝尔/霍尔;成本;皮德;一般证明;存档正式证据…
主要领域: 一般性和全局性主题;收款(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)

Ott公司

软件作者:西厄尔,彼得;纳尔德利,弗朗西斯科·扎帕;欧文斯,斯科特;佩斯金,吉尔;里奇,托马斯;萨卡,苏米特;韩国斯特尼沙
参考文献: 33种出版物(2007-2021)
相关软件: 成本;伊莎贝尔/霍尔;名义上的伊莎贝尔;伊莎贝尔;二层;波普马克…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);计算机科学(68-XX)

大学数学

软件作者:Voevodsky,V.,Mörtberg,A.,Ahrens,B.,Lelay,C.,Pannila,T.,Matthes,R。
参考文献: 24种出版物(2016-2022)
相关软件: github;成本;卡比卡尔特;瘦身;霍特;阿格达…
主要领域: 数理逻辑与基础(03-XX);代数几何(14-XX);范畴论;同调代数(18-XX)

泽农

软件作者:博尼肯,理查德;德拉哈耶,大卫;多利吉,达米安
参考文献: 19种出版物(2007-2021)
相关软件: 成本;TPTP;德杜克蒂;伊莎贝尔/霍尔;聚焦;B是…
主要领域: 数理逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

弗洛克

软件作者:S博尔多;G梅尔奎恩;印度卢比
参考文献: 22种出版物(2011-2022)
相关软件: 成本;原因3;加帕;霍尔灯;z3;MPFR…
主要领域: 数理逻辑与基础(03-XX);数论(11-XX);偏微分方程(35-XX)

爱迪丝

软件作者:  –
参考文献: 22种出版物(2011-2021)
相关软件: 伊德里斯;成本;阿格达;哈斯克尔;github;精益…
主要领域: 数理逻辑与基础(03-XX);范畴论;同调代数(18-XX);代数拓扑学(55-XX)

帕科

软件作者:钟基虎、格奥尔格·奈斯、德里克·德雷耶、维克多·瓦菲亚迪斯
参考文献: 22种出版物(2013-2021)
相关软件: 成本;伊莎贝尔/霍尔;阿格达;伊莎贝尔;中粮集团;科卡姆…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);一般代数系统(08-XX)

克米诺

软件作者:阿佩尔,A.W.,布莱兹,S。
参考文献: 17种出版物(2007-2016)
相关软件: 成本;公司证书;伊莎贝尔/霍尔;CIL公司;布吉;达夫尼…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

加帕

软件作者:纪尧姆·梅尔奎恩
参考文献: 19种出版物(2009-2021)
相关软件: 成本;z3;阿斯特里;PVS公司;原因3;弗洛克…
主要领域: 数理逻辑与基础(03-XX);实函数(26-XX);偏微分方程(35-XX)

混合的

软件作者:混合群
参考文献: 18种出版物(2012-2021)
相关软件: 二层;成本;波普马克;阿贝拉;名义上的伊莎贝尔;白鲸…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

雅加达

软件作者:Daniela Junho de Andrade,西蒙梅洛·德索萨
参考文献: 17种出版物(2001-2014)
相关软件: 成本;OCaml公司;勒托斯;A3PAT;SCC;ITP…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);地球物理学(86-XX)

COQ锤

软件作者:捷克,乌卡斯;卡利斯齐克,塞扎里
参考文献: 17种出版物(2017-2021)
相关软件: 成本;定理证明器;伊莎贝尔/霍尔;后桅;TPTP;吸血鬼…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);代数几何(14-XX)

地质屋顶

软件作者:朱利安·纳布克斯;尼古拉斯·弗朗索瓦
参考文献: 16种出版物(2007-2020)
相关软件: GEX公司;地球物理学;成本;GCLC;GeoGebra公司;JGEX…
主要领域: 数理逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

霍特

软件作者:Andrej Bauer,Jason Gross,Peter LeFanu Lumsdane,Mike Shulman,Matthieu Sozeau,Bas Spitters
参考文献: 16种出版物(2016-2021)
相关软件: github;成本;数学溢出;大学数学;卡比卡尔特;购物车多维数据集…
主要领域: 数理逻辑与基础(03-XX);代数几何(14-XX);范畴论;同调代数(18-XX)

Mtac公司

软件作者:Ziliani,贝塔;德雷尔,德里克;克里希纳斯瓦米,尼拉坎坦R。;纳涅夫斯基,亚历山达;维克多,瓦菲亚迪斯
参考文献: 16种出版物(2013-2021)
相关软件: 成本;阿格达;伊德里斯;seL4;验证;霍尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

花椰菜

软件作者:波尔多,西尔维;莱莱,凯瑟琳;梅尔奎德,纪尧姆
参考文献: 15种出版物(2015-2022)
相关软件: 成本;伊莎贝尔/霍尔;瘦身;PVS公司;开普勒98;玉米粉…
主要领域: 数理逻辑与基础(03-XX);代数几何(14-XX);常微分方程(34-XX)

幼犬

软件作者:阿斯佩蒂,安德里亚;吉迪,费鲁乔;萨尔多蒂·科恩,克劳迪奥;塔西,恩里科;扎奇罗利,斯特凡诺
参考文献: 15种出版物(2006-2021)
相关软件: 后桅;成本;MML公司;马蒂塔;Nuprl公司;伊莎贝尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

菲亚特

软件作者:特拉华州,B.,克劳德尔,C.P.,格罗斯,J.,奇利帕拉,A。
参考文献: 14种出版物(2015-2019)
相关软件: 成本;伊莎贝尔/霍尔;伊莎贝尔;证书;卡格默尔;OCaml…
主要领域: 序,格,有序代数结构(06-XX);计算机科学(68-XX)

认证

软件作者:Anand,A.,Appel,A.,Morrisett,G.,Paraskevopoulou,Z.,Pollack,R.,O.S.,Belanger,O.S.,Sozeau,M.,Weaver,M。
参考文献: 13种出版物(2017-2022)
相关软件: 成本;卡格默尔;伊莎贝尔/霍尔;OEuf公司;霍尔;菲亚特…
主要领域: 组合数学(05-XX);计算机科学(68-XX)

CtCoq公司

软件作者:伯托,Y。
参考文献: 12种出版物(1996-2017)
相关软件: 成本;一般证明;马蒂塔;半人马;幼犬;米扎尔…
主要领域: 数值分析(65-XX);计算机科学(68-XX)

伊莎贝尔/皮德

软件作者:马卡里乌斯温泽尔;伯克哈特·沃尔夫
参考文献: 13种出版物(2012-2020)
相关软件: 成本;伊莎贝尔;伊莎贝尔/绝地;一般证明;伊莎贝尔/霍尔;皮德…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

维拉斯科

软件作者:雅克·亨利·约尔丹、文森特·拉波特、桑德琳·布莱兹、泽维尔·勒罗伊、大卫·皮查迪
参考文献: 12种出版物(2016-2021)
相关软件: 成本;z3;阿斯特里;工具链;LLVM;哈希*…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);凸与离散几何(52-XX)

公司

软件作者:萨耶夫契克,雅罗斯拉夫;维克多·瓦菲亚迪斯;萨帕·纳尔德利,弗朗西斯科;苏雷什贾甘纳森;休厄尔,彼得
参考文献: 12种出版物(2013-2019)
相关软件: 成本;公司证书;帕科;普通中等学校;卡格默尔;公司证书…
主要领域: 数理逻辑与基础(03-XX);序,格,有序代数结构(06-XX);一般代数系统(08-XX)

皮德

软件作者:温泽尔,马卡里厄斯
参考文献: 12种出版物(2012-2022)
相关软件: 伊莎贝尔/绝地;成本;大锤;伊莎贝尔/霍尔;一般证明;伊莎贝尔/伊萨尔…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

米兹3

软件作者:维迪迪克,弗里克
参考文献: 11种出版物(2012-2020)
相关软件: 成本;后桅;Isar;霍尔;伊莎贝尔/霍尔;天哪…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);光学,电磁理论(78-XX)

冲锋!

软件作者:本特森,杰斯帕;詹森,乔纳斯·布拉班德;伯克达尔,拉尔斯
参考文献: 10种出版物(2012-2021)
相关软件: 成本;工具链;VeriFast公司;臀部;VeriSmall公司;Frama-C…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

聚焦

软件作者:印度卢比;佩索,F.,韦亚,P.,多利盖兹,D。
参考文献: 8种出版物(2015-2021)
相关软件: 成本;德杜克蒂;PVS公司;泽农;伊莎贝尔/霍尔;霍尔灯…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

ML4PG

软件作者:赫拉斯,约拿单;叶卡捷琳娜Komendantskaya
参考文献: 10种出版物(2013-2021)
相关软件: 成本;乌贼;苍蝇;Coq/S反射;韦卡;ACL2…
主要领域: 数理逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

前驱

软件作者:Tankink,Carst公司;格韦尔斯,赫尔曼;麦金纳,詹姆斯;维迪迪克,弗里克
参考文献: 8种出版物(2010-2016)
相关软件: 成本;一般证明;伊莎贝尔;苍蝇;霍尔灯;米扎尔…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

GeoCoq公司

软件作者:迈克尔·比森,皮埃尔·布特里,加布里埃尔·布劳恩,查利·格里斯,朱利安·纳布克斯
参考文献: 8种出版物(2007-2021)
相关软件: 成本;伊莎贝尔/伊萨尔;JGEX公司;GeoGebra公司;伊莎贝尔;地质学…
主要领域: 数理逻辑与基础(03-XX);几何(51-XX);计算机科学(68-XX)

地理视图

软件作者:伯托,Y.,吉尔霍特,F.,波特,L。
参考文献: 9种出版物(2006-2017)
相关软件: 地球物理学;GCLC;MMP/几何计;GEX公司;GCL校准仪;地质勘探…
主要领域: 几何(51-XX);计算机科学(68-XX);数学教育(97-XX)

SMTCoq公司

软件作者:Ekici,B.等人。
参考文献: 9种出版物(2017-2021)
相关软件: 成本;z3;大锤;伊莎贝尔/霍尔;CVC4;阿凡达…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)

THYC公司

软件作者:勒柯克。;奥布里,S。;卡胡埃,J。;莱克斯内,P。;尼古拉斯,G。;帕斯托里尼,S。
参考文献: 9种出版物(2010-2021)
相关软件: FLICA-4;凯瑟琳;FLICA-OVAP;阿格拉;塞德雷;他-伊戈夫…
主要领域: 偏微分方程组(35-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)

TRX公司

软件作者:科普罗夫斯基,亚当;宾兹托克,亨利
参考文献: 8种出版物(2010-2020)
相关软件: 成本;阿格达;霍尔;公司证书;github;选择4…
主要领域: 计算机科学(68-XX)

A3PAT公司

软件作者:康特让,E.,帕斯凯维奇,A.,乌尔班,X.,库蒂厄,P.,庞斯,O.,森林,J。
参考文献: 8种出版物(2010-2017)
相关软件: 颜色;CeTA;伊莎贝尔/霍尔;成本;批准;蒂罗尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

CertiKOS公司

软件作者:顾,R,邵,Z,陈,H.,吴,X.N.,金,J.,Sjöberg,V.,Costanzo,D。
参考文献: 8种出版物(2017-2020)
相关软件: seL4;伊莎贝尔/霍尔;伊莎贝尔;霍尔;成本;GitHub…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

CFML

软件作者:查盖罗,亚瑟
参考文献: 7种出版物(2010-2015)
相关软件: 成本;毫升;霍尔;哈斯克尔;米拉瓦;小脚怪…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

VeriML公司

软件作者:斯坦普利斯,安东尼;邵,钟
参考文献: 8种出版物(2010-2016)
相关软件: 成本;seL4;Mtac公司;德尔芬;毫升;哈斯克尔…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX)

英根

软件作者:艾德米尔,B.E.,韦里奇,S。
参考文献: 7种出版物(2011-2021)
相关软件: 波普马克;伊莎贝尔/霍尔;名义上的伊莎贝尔;阿贝拉;二层;白鲸…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

乌贼

软件作者:格兰斯顿,T.,沃金肖,N.,拉曼,R。
参考文献: 7种出版物(2015-2021)
相关软件: 成本;定理证明器;ML4PG;女警察;苍蝇;男警察…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

维尔姆

软件作者:赵建州;纳加拉卡特、桑托什;马丁,米洛·M.K。;Zdancewic,史蒂夫
参考文献: 7种出版物(2012-2021)
相关软件: 成本;LLVM;格拉尔夫;github;公司证书;卡凯尔…
主要领域: 计算机科学(68-XX)

证书加密

软件作者:巴瑟,吉尔;格雷戈耶,本杰明;Zanella Béguelin,圣地亚哥
参考文献: 5种出版物(2009-2017)
相关软件: 成本;Coq/S反射;易受骗;开普勒98;塞尔4
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

CoqMT公司

软件作者:皮埃尔·伊夫·斯特鲁布
参考文献: 6种出版物(2010-2020)
相关软件: 成本;科克姆图;布吉;执政官;可可碱;竖琴…
主要领域: 数理逻辑与基础(03-XX);场论与多项式(12-XX);代数几何(14-XX)

花球

软件作者:布莱班特,托马斯
参考文献: 6种出版物(2011-2021)
相关软件: 成本;熔岩;卡米语;哈斯克尔;muFP;FreeSpec…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

方程

软件作者:索佐,马修
参考文献: 6种出版物(2010-2020)
相关软件: 成本;伊德里斯;瘦身;爱迪丝;github;朋友们…
主要领域: 数理逻辑与基础(03-XX);代数拓扑学(55-XX);计算机科学(68-XX)

焦点测试

软件作者:卡莱尔,马修;杜布瓦,凯瑟琳;戈特利布,阿诺
参考文献: 6种出版物(2011-2018)
相关软件: 快速检查;成本;小支票;数学成分;github;快速鸡…
主要领域: 组合数学(05-XX);计算机科学(68-XX)

加利娜

软件作者:赫特,杰拉德
参考文献: 6种出版物(1994-2018)
相关软件: 成本;Mtac公司;模板成本;证书;充电!;菲亚特…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

欧夫

软件作者:马伦,E。;佩恩斯泰纳。;威尔科克斯,J.R。;塔洛克,Z。;格罗斯曼,D。
参考文献: 6种出版物(2018-2021)
相关软件: 成本;证书;卡格默尔;伊莎贝尔/霍尔;霍尔;菲亚特…
主要领域: 计算机科学(68-XX)

Pcoq公司

软件作者:艾哈迈德·阿默卡德;伊夫·贝尔托,洛伊克·波特;劳伦斯·里多
参考文献: 5种出版物(2007-2012)
相关软件: 成本;Isar;校样通用工具箱;地理视图;GEX公司;地质勘探…
主要领域: 计算机科学(68-XX)

皮尔斯纳

软件作者:不,乔治;中基赫;凯撒,简·奥利弗;麦克劳夫林,克雷格;德雷尔,德里克;维克多,瓦菲亚迪斯
参考文献: 6种出版物(2015-2021)
相关软件: 成本;卡格默尔;伊莎贝尔/霍尔;霍尔;布吉;卡米…
主要领域: 计算机科学(68-XX)

提姆

软件作者:王,P.,王,D.,克莉帕拉,A。
参考文献: 6种出版物(2018-2021)
相关软件: TcT;z3;分离逻辑;OptiMathSAT公司;摊余复杂度;基特尔…
主要领域: 计算机科学(68-XX)

威尔第

软件作者:J。R、 威尔科克斯,D.伍斯,P.潘切卡,Z.塔洛克,X.王,M.D.恩斯特,T.E.安德森
参考文献: 6种出版物(2017-2021)
相关软件: z3;常春藤;常春藤;心理同步;纽克斯梅夫;查巴…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

VeriSmall公司

软件作者:阿佩尔,安德鲁W。
参考文献: 5种出版物(2012-2018)
相关软件: 成本;充电!;小脚;杀戮者;VeriFast公司;jStar…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

基岩

软件作者:亚当·克利帕拉
参考文献: 4种出版物(2017-2019)
相关软件: 成本;工具链;OCaml公司;归档正式证据;摊余复杂度;分离逻辑…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

舒适的

软件作者:Dénès M;西里尔·科恩;安德斯·莫特伯格
参考文献: 5种出版物(2012-2021)
相关软件: 成本;Coq/S反射;非理性的;Coq组合;数学成分;存档正式证据…
主要领域: 数理逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX);代数拓扑学(55-XX)

振镜

软件作者:西尔瓦,P.F。;奥利维拉,J.N。
参考文献: 5种出版物(2009-2019)
相关软件: 菲亚特;维拉斯科;阿斯特里;美国石油协会;阿格达;Z、 …
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);序,格,有序代数结构(06-XX)

机械化语义库

软件作者:阿佩尔,A.W.,多金斯,R.,霍博尔,A
参考文献: 5种出版物(2011-2015)
相关软件: 成本;p螺纹;布吉;区域贸易管制;情态;VeriSmall公司
主要领域: 数理逻辑与基础(03-XX);通用拓扑(54-XX);计算机科学(68-XX)

中音

软件作者:波特,弗朗索瓦;普罗岑科,乔纳森
参考文献: 4种出版物(2014-2018)
相关软件: 壁龛;羽状爪哇;罗丹;生锈;充电!;推断…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

快克

软件作者:帕拉斯凯沃普卢,佐伊;Hriţcu,Cătălin;德恩尼斯,马克西姆;七鳃鳗;皮尔斯,本杰明·C。
参考文献: 5种出版物(2015-2019)
相关软件: PVS公司;成本;快速检查;吹毛求疵;小支票;z3…
主要领域: 组合数学(05-XX);计算机科学(68-XX)

岩盐矿

软件作者:Morrisett,G.,Tan,G.,Tassarotti,J.,Tristan,J.B.,Gan,E。
参考文献: 5种出版物(2015-2021)
相关软件: 成本;GDSL公司;FreeSpec公司;可操作性;卡米语;GitHub…
主要领域: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

沙帕尔

软件作者:莱萨尼、莫森;贝尔,克里斯蒂安J。;克利帕拉,亚当
参考文献: 4种出版物(2016-2021)
相关软件: 威尔第;z3;推定证明;归档正式证据;CVC4;常春藤…
主要领域: 计算机科学(68-XX)

可可碱

软件作者:阿里·阿萨夫、马修·博斯弗鲁格、纪尧姆·布雷尔、昆廷·卡布诺、加斯帕德·费雷、弗朗索瓦·蒂尔
参考文献: 4种出版物(2015-2021)
相关软件: 成本;CoqHammer公司;霍尔灯;后桅;PVS公司;伊莎贝尔/霍尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

CoqJVM公司

软件作者:Coq开发团队、CNRS、INRIA和巴黎大学
参考文献: 4个出版物(2008-2021)
相关软件: 伊莎贝尔/霍尔;霍尔;TSL公司;K检验器;佐醇;公司证书…
主要领域: 计算机科学(68-XX)

盖亚

软件作者:何塞·格里姆(马雷尔团队)
参考文献: 4种出版物(2010-2016)
相关软件: 成本;Coq/S反射;苍蝇;阿尔夫;OMDoc公司;自动机…
主要领域: 历史与传记(01-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

普通中等教育

软件作者:麦克莱特,安德鲁;骑士,蒂姆;托尔马赫,安德鲁
参考文献: 4种出版物(2010-2019)
相关软件: 成本;公司证书;CompCertTSO公司;霍尔;米拉瓦;OCaml…
主要领域: 计算机科学(68-XX)

Gmeta公司

软件作者:李,吉斯克;奥利维拉,布鲁诺哥伦比亚特区。;赵成昆;易光景
参考文献: 4种出版物(2012-2020)
相关软件: 英根;波普马克;Psi结石;名义上的伊莎贝尔;伊莎贝尔;混合动力…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

卡米

软件作者:Choi,J.,维贾亚拉哈万,M.,谢尔曼,B.,Chlipala,A.,Arvind
参考文献: 4种出版物(2018-2021)
相关软件: 成本;github;花束;哈斯克尔;FreeSpec公司;运行中…
主要领域: 计算机科学(68-XX)

Lem公司

软件作者:莫利根,多米尼克·P。;欧文斯,斯科特;格雷,凯瑟琳E。;里奇,汤姆;休厄尔,彼得
参考文献: 3个出版物(2011-2021)
相关软件: 伊莎贝尔/霍尔;成本;ACL2;霍尔灯;霍尔;Ott…
主要领域: 计算机科学(68-XX)

数学成分

软件作者:数学部件组
参考文献: 4种出版物(2016-2021)
相关软件: 成本;伊莎贝尔/霍尔;github;快速鸡;小支票;快速检查…
主要领域: 数理逻辑与基础(03-XX);组合数学(05-XX);数论(11-XX)

情态

软件作者:希茨科夫斯基,菲利普;比兹亚克,阿莱;伯克达尔,拉尔斯
参考文献: 4种出版物(2015-2020)
相关软件: 成本;卡米语;归档正式证据;github;UTPCalc公司;马戏团…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

NL认证

软件作者:维克多·马格伦
参考文献: 4种出版物(2014-2017)
相关软件: OCaml公司;成本;索利亚;德雷尔;弗洛克;霍尔灯…
主要领域: 数论(11-XX);近似和展开(41-XX);数值分析(65-XX)

模板Coq

软件作者:阿南,阿披实;布利尔,西蒙;科恩,西里尔;索佐,马修;尼古拉斯,塔巴劳
参考文献: 4种出版物(2018-2021)
相关软件: 成本;元计算;伊德里斯;证书;Mtac公司;埃尔皮…
主要领域: 计算机科学(68-XX)

统一

软件作者:皮尔斯,本杰明C。;沃伦,杰罗姆
参考文献: 4种出版物(2001-2011)
相关软件: 活力;可口可乐
主要领域: 计算机科学(68-XX)

安森迈尔

软件作者:石垣,Etsuya;Hagihara,Shigeki;小林直树,;西崎,新雅;肯吉罗托拉,;渡边,Takuo
参考文献: 2份出版物(2003年)
相关软件: 成本;TALx86;JFlow公司;FDR2;发生;Java探路者…
主要领域: 计算机科学(68-XX)

双色胺

软件作者:惠斯曼,M.,佩特里,G。
参考文献: 3种出版物(2009-2018)
相关软件: 归档正式证据;金贾螺纹;伊莎贝尔/霍尔;K检验器;CLDC公司;金贾不是爪哇…
主要领域: 计算机科学(68-XX)

阔琪涅勒

软件作者:康特让,E。
参考文献: 2份出版物(2007-2008)
相关软件: 颜色;成本;国际帆联;伊莎贝尔/霍尔;CeTA;门框…
主要领域: 计算机科学(68-XX)

霍特SQL

软件作者:朱树模、康斯坦丁·韦茨、张爱文、丹素秋
参考文献: 3种出版物(2018-2021)
相关软件: 成本;立体阿格达;雷德普瑞;卡比卡尔特;伊德里斯;精益…
主要领域: 计算机科学(68-XX)

MMode公司

软件作者:吉罗·M,维迪杰克·F。
参考文献: 3种出版物(2014-2015)
相关软件: 后桅;成本;Isar;伊莎贝尔/伊萨尔;逻辑2CNF;天哪…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

区域贸易中心

软件作者:Malecha,G.,Bengtson,J。
参考文献: 3种出版物(2015-2021)
相关软件: 成本;CompCertTSO公司;德尔芬;seL4;验证;Mtac…
主要领域: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);系统论;控制(93-XX)

VeriStar公司

软件作者:斯图尔特,戈登;贝林格,伦纳德;阿佩尔,安德鲁W。
参考文献: 3种出版物(2012-2016)
相关软件: 成本;jStar公司;小脚;岩盐;加利娜;VeriSmall…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

VST弗洛伊德

软件作者:曹操、秦翔;贝林格,伦纳德;格鲁特,塞缪尔;多德,约西亚;阿佩尔,安德鲁W。
参考文献: 3种出版物(2018-2021)
相关软件: 成本;工具链;生锈;达夫尼;github;VeriFast…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

爱丽丝

软件作者:Vivien Maisonneuve,Olivier Hermant,弗朗索瓦·伊里冈
参考文献: 2种出版物(2014-2018)
相关软件: 阿斯特里;烟尘;PPL;停机坪;欧米茄;帕加伊…
主要领域: 计算机科学(68-XX)

ArchSAT公司

软件作者:纪尧姆·伯里
参考文献: 1份出版物(2020年)
相关软件: 泽农;TPTP;德杜克蒂;拉链位置;定理证明器;埃克斯特拉克托…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

阿斯特拉弗

软件作者:格里戈里·沃尔科夫、米哈伊尔·曼德里金、丹尼斯·埃夫雷莫夫
参考文献: 1次出版(2021年)
相关软件: 成本;归档正式证据;github;GKLEE公司;gpu验证;库达…
主要领域: 计算机科学(68-XX)

自动订阅

软件作者:美国。施费尔,特比,斯莫尔卡
参考文献: 2种出版物(2015-2016)
相关软件: 胎儿;OCaml公司;原因3;哈斯克尔;成本;英根…
主要领域: 计算机科学(68-XX)

Coq间隔

软件作者:纪尧姆·梅尔奎恩
参考文献: 2种出版物(2019年)
相关软件: 成本;花椰菜;倍频程;海克莫特;厚颜无耻的;GitHub…
主要领域: 流形和细胞复合体(57-XX);数值分析(65-XX);计算机科学(68-XX)

Coq组合

软件作者:弗洛伦特海弗特
参考文献: 2种出版物(2021年)
相关软件: 归档正式证据;伊莎贝尔/霍尔;斯皮尔拉金延伸段;林登的话;github;伊莎贝尔…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

柯库恩

软件作者:Bengtson,J.,Mehnert,H.,Faithfull,A。
参考文献: 2种出版物(2015-2016)
相关软件: 一般证明;成本;github;豌豆;舒适;CtCoq…
主要领域: 计算机科学(68-XX)