×

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

巴贝尔

72份文件引用(1988–2013)
软件作者: 马里奥·罗德里格斯-阿塔莱霍
相关软件: 核叶;玩具;咖喱…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

GHC公司

36篇文献引用(1986年-2014年)
软件作者: Kazunori上田
相关软件: PARLOG;基马;哈斯克尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

伊诺特

34份文件引用(2008–2019)
软件作者: 阿列克桑达尔·纳内夫斯基;格雷格·莫里塞特(Greg Morrisett);Avraham Shinnar;保罗·戈维罗(Paul Govereau);拉尔斯·比克达尔
相关软件: Coq;伊莎贝尔·霍尔;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

HIP(热等静压)

33篇文献引用(2007–2023)
软件作者: 魏恩根;Huu Hai Nguyen;克里斯蒂娜·戴维;克里斯蒂安·吉尔吉纳(Cristian Gherghina);Quang Loc Le;Ton-Chanh Le;阿桑卡亚·夏尔马
相关软件: 小脚;VeriFast;幻灯片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

质量管理清单

32篇文献引用(2007–2023)
软件作者: 托尔斯滕·阿滕柯奇;乔纳森·格拉塔奇
相关软件: QPL;奎珀;qGCL…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);几个复变量和分析空间(32-XX)…

蚱蜢

14篇文献引用(2015–2023)
软件作者: R.Piskac、T.Wies和D.Zufferey
相关软件: 达夫尼;VeriFast;毒蛇…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

轻松检查

10篇文献引用(2009年至2020年)
软件作者: 扬·克里斯蒂安森(Jan Christiansen);塞巴斯蒂安·费舍尔
相关软件: 快速检查;咖喱;SmallCheck…
主要字段: 计算机科学(68-XX)

VerCors公司

12份文件引用(2014年-2023年)
软件作者: 阿米吉,阿夫申;斯特凡·布洛姆;Saeed Darabi;赫斯曼(Marieke Huisman);沃伊切赫·莫斯托夫斯基;玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基
相关软件: 蝰蛇;布吉;Dafny…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

KiCS2系列

8份文件引用(2009–2022)
软件作者: 伯恩德·布拉埃尔;迈克尔·哈努斯(Michael Hanus);比约恩,皮默勒;费比安·雷克
相关软件: 咖喱;哈斯克尔;PAKCS…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

自动校对

引用于7份文件(2015–2023)
软件作者: Tschannen,J。;加利福尼亚州福利亚;诺迪奥,M。;北卡罗来纳州波里卡波娃。
相关软件: 达夫尼;VCC;VeriFast…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CFML公司

引用于7份文件(2010年至2015年)
软件作者: 亚瑟·查古埃罗
相关软件: Coq;毫升;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

VST-弗洛伊德

8份文件引用(2018–2023)
软件作者: 曹勤祥;Lennart Beringer;塞缪尔·格鲁特(Samuel Gruetter);约西亚·多兹;安德鲁·W·阿佩尔。
相关软件: Coq;工具链;锈蚀…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

基岩

6篇文献引用(2017–2022)
软件作者: 亚当·克利帕拉
相关软件: Coq;工具链;VST-Floyd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

密度编译器

引用于7份文件(2015年至2022年)
软件作者: Manuel Eberl、Johannes Hölzl、Tobias Nipkow
相关软件: 伊莎贝尔·霍尔;HOL;存档正式证据…
主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

ALE公司

3份文件引用(1992–2005)
软件作者: 卡彭特,B.,G.Penn
相关软件: 语法矩阵;LKB公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

距离-弧度

5份文件引用(2011–2015)
软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔
相关软件: 莫德;爪哇风扇;Java+ITP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

棒棒糖

5份文件引用(2010–2016)
软件作者: 卡尔·马祖拉克;史蒂夫·兹丹塞维奇
相关软件: VeriML;雷卡姆;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

TravMC2(移动MC2)

5份文件引用(2016–2020)
软件作者: Robin P.Neatherway,C.-H.Luke Ong
相关软件: ByMC;github;MoCHi…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

扁平咖喱

3份文件引用(2011–2020)
软件作者: 迈克尔·哈纳斯(Michael Hanus);克里斯蒂安森,简;丹尼尔·塞德尔(Daniel Seidel);贾尼斯·沃格特兰德
相关软件: 瑞士;工厂;PAKCS…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

KeY-ABS公司

4份文件引用(2015–2021)
软件作者: Din,Crystal Chang;理查德·布贝尔(Richard Bubel);雷纳·哈内尔
相关软件: 防抱死制动系统;斯卡拉;算法864…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

PrologCheck(序言检查)

3份文件引用(2014–2022)
软件作者: 阿马拉尔(Cláudio);马里奥弗洛里多;维托尔·桑托斯·科斯塔
相关软件: K校准仪;K工具;快速检查…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

XTL公司

4份文件引用(2003–2017)
软件作者: Garavel,H.、Mateescu,R。
相关软件: CADP;LNT2LOTOS公司;Exp.打开…
主要字段: 计算机科学(68-XX)

资本支出

3份文件引用(2017–2021)
软件作者: 托马斯·丁斯代尔·扬(Thomas Dinsdale-Young);佩德罗·达罗查·平托;安徒生,克里斯托弗公正;拉尔斯·比克达尔
相关软件: 蝰蛇;VeriFast;草蜢…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

光环

3份文件引用(2013–2017)
软件作者: 迪米特里厄斯病毒性肠炎;西蒙·佩顿·琼斯;科恩·克莱森;丹·罗森
相关软件: z3;哈斯克尔;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

对象货币

3份文件引用(1994–2013)
软件作者: 迈克尔·哈努斯(Michael Hanus);Frank Huch;菲利普·尼德劳
相关软件: 奥兹;巴贝尔;PAKCS…
主要字段: 计算机科学(68-XX)

自动2_Imperative_HOL

2份文件引用(2018)
软件作者: 伯华詹
相关软件: 分离逻辑;AUTO2;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

PAF!

2份文件引用(2004–2011)
软件作者: 西尔万·巴罗
相关软件: KIV;Why3;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PCM库

2份文件引用(2020)
软件作者: Nanevski,A.、Ley-Wild,R.、Sergey,I.、Delbianco,G.、Trunov,A
相关软件: github;精益;密码…
主要字段: 计算机科学(68-XX)

拟Borel空间

2份文件引用(2017–2022)
软件作者: Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato
相关软件: 教会;HOL;精益…
主要字段: 范畴理论;同调代数(18-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

见证人

1份文件引用(2018)
软件作者: 汉娜·阿恩特;克里斯蒂娜·詹森(Christina Jansen);Christoph Matheja;诺尔,托马斯
相关软件: 贾格诺
主要字段: 计算机科学(68-XX)

QCOR(质量控制报告)

在0个文档中引用
软件作者: Tiffany M.Mintz、Alexander J.Mccaskey、Eugene F.Dumitrescu、Shirley V.Moore、Sarah Powers、Pavel Lougovski
相关软件: SciPy;开放费米子;奥奎斯特拉…
主要字段: ——

QuIt公司

1份文件引用(2018)
软件作者: 格雷斯,伯恩哈德;劳拉·科瓦奇(Laura Kovács);西蒙·罗比拉德
相关软件: VAMPIRE公司;InvGen;CVC4…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件