×

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

水獭

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)

拦污栅

引用于20份文件(2000–2020)
软件作者: 梅耶,A。
相关软件: TPTP;VAMPIRE公司;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

开放理论

19份文件引用(2012–2023)
软件作者: J·赫德。
相关软件: HOL灯;HOL;伊莎贝尔…
主要字段: 数学逻辑与基础(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)…

TLPVS公司

8份文件引用(2003–2011)
软件作者: 阿米尔·普努利;塔马拉·阿隆斯
相关软件: PVS;自旋蛋白;魔法…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)

ARA公司

5份文件引用(2000–2014)
软件作者: 卡斯滕·辛兹
相关软件: RALL;拉尔夫;RelView…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Kumo公司

5份文件引用(1999–2004)
软件作者: 约瑟夫·戈根(Joseph Goguen)、凯·林(Kai Lin)、格里戈·罗苏(Grigore Rosu)、博格丹·瓦林斯基(Bogdan Warinschi)
相关软件: OBJ咖啡馆;团结;OBJ3型
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

mizar-items公司

5份文件引用(2011–2022)
软件作者: 杰西·阿拉玛
相关软件: 米扎尔;MML;MPTP 0.2…
主要字段: 计算机科学(68-XX)

MoSeL公司

5份文件引用(2018–2023)
软件作者: Robbert Krebbers;雅克·亨利·乔丹(Jacques-Henri Jourdan);Ralf Jung;约瑟夫·塔萨罗蒂;Kaiser,Jan-Oliver;阿明·蒂曼尼;亚瑟·查古埃罗(Arthur Charguéraud);德雷克·德雷尔
相关软件: Coq;蚱蜢;VeriFast…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SAT解算器验证

5份文件引用(2009–2018)
软件作者: 菲利普·马里克
相关软件: 存档正式证据;糠;MiniSat…
主要字段: 计算机科学(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)

HolPy公司

2份文件引用(2021–2024)
软件作者: 徐润清;李黎明;詹伯华
相关软件: 杆;CBench;GRKLib…
主要字段: 数学逻辑与基础(03-XX);计算机科学(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份文件引用(2015)
软件作者: Wand,D.,Weidenbach,C。
相关软件: 赶时髦的人;CVC4;HipSpec…
主要字段: 计算机科学(68-XX)

RISCAL公司

2份文件引用(2018)
软件作者: 沃尔夫冈·施莱纳
相关软件: 尼特皮克;数学聊天;CoqHammer…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

技能

2份文件引用(1993–2000)
软件作者: Galmiche,D。;O.赫尔曼。
相关软件: 自动化;乐高;洛利…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯拉克杰

2份文件引用(2019年至2021年)
软件作者: 加布里埃尔·埃布纳
相关软件: GAPT;精益CoP;TPTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

理论博物馆

2份文件引用(2018)
软件作者: 迈克尔·科尔哈斯
相关软件: IMPS;OMDoc;MMT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

雅拉

2份文件引用(2018–2021)
软件作者: 奥利维·洛朗
相关软件: ANTLR;PySpark;ConArg2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

ZFC_输入_ HOL

2份文件引用(2022)
软件作者: L.C.保尔森。
相关软件: 存档正式证据;Isabelle/HOL;伊莎贝尔…
主要字段: 计算机科学(68-XX)

抽象稳健性

1份文件引用(2018)
软件作者: 贾斯敏·克里斯蒂安·布兰切特;安德烈·波佩斯库;德米特里·特拉泰尔
相关软件: github;格栅;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

BCiC公司

1份文件引用(2005)
软件作者: 内森·怀特黑德;马丁·阿巴迪
相关软件: 粘合剂
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

卡提奥

1份文件引用(2022)
软件作者: 埃基奇B。
相关软件: Coq公司
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-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)

GeoLogic公司

在0个文档中引用
软件作者: 米罗斯拉夫·奥沙克
相关软件: 日本国债交易所;GeoCoq;GeoGebra公司
主要字段:

进口+出口

1份文件引用(2018)
软件作者: 伯拉克·埃基奇
相关软件: Coq公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(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)

联普翻译

在0个文档中引用
软件作者: 拉沙·阿布齐亚尼泽
相关软件: FraCaS公司;SICK公司
主要字段:

Nuprl-Light公司

1份文件引用(1997)
软件作者: 杰森·希基。
相关软件: 剑桥LCF;Nuprl公司;伊莎贝尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

提案解决方案

1份文件引用(2018)
软件作者: 尼古拉斯·佩尔蒂埃
相关软件: github;格栅;FOL_Harrison…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

UALib(通用图书馆)

在0个文档中引用
软件作者: 威廉姆·德米欧
相关软件: 阿格达
主要字段:

VizAR公司

1份文件引用(2023)
软件作者: Jakubův,Jan;塞萨里·卡利西克
相关软件: 米扎尔
主要字段: 计算机科学(68-XX)

工作流FM

1份文件引用(2017)
软件作者: 帕帕帕纳吉奥图,Petros;雅克·弗莱里奥特
相关软件: JGraph;HOL灯;链接…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

凯伊迈拉德

在0个文档中引用
软件作者: 安德烈·普拉泽(AndréPlatzer)、大卫·伦肖(David Renshaw)
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件