×

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

效率

30篇文献引用(2013–2023)
软件作者: 安德烈·鲍尔(Andrej Bauer);普雷特纳,马蒂亚
相关软件: 科卡;github;ML…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

伊尔迪斯

26篇文献引用(2011–2023)
软件作者: ——
相关软件: 伊德里斯;Coq;Agda…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…

HasCasl公司

17篇文献引用(2002–2015)
软件作者: Schr“oder,卢茨;Mossakowski,蒂尔
相关软件: CASL;哈斯克尔;Hets…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

Mtac公司

16篇文献引用(2013–2021)
软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);Krishnaswami,Neelakantan R。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯
相关软件: Coq;阿格达;Idris…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

精炼一元

9份文件引用(2014–2020)
软件作者: 彼得·兰米奇
相关软件: Isabelle/HOL;存档正式证据;伊莎贝尔…
主要字段: 组合数学(05-XX);常微分方程(34-XX);数值分析(65-XX)…

泰特OnProducts

4份文件引用(2015–2022)
软件作者: 戴维·艾森巴德(David Eisenbud);Erman,D。;弗兰克·奥拉夫·施雷耶
相关软件: 麦考利2号;虚拟分辨率;线性截断…
主要字段: 交换代数(13-XX);代数几何(14-XX);结合环与代数(16-XX)

采购订单模板

6篇文献引用(2018–2022)
软件作者: 阿南德,阿比舍克;西蒙·博利埃(Simon Boulier);科恩、西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁
相关软件: Coq;CertiCoq;OEuf…
主要字段: 计算机科学(68-XX)

阿格利特

3份文件引用(2010–2017)
软件作者: 杰米·莫根斯坦(Jamie Morgenstern);丹尼尔·李卡塔(Daniel R.Licata)。
相关软件: 层流;哈斯克尔;Ynot…
主要字段: 计算机科学(68-XX)

塞尔夫

4份文件引用(2008–2023)
软件作者: 安德斯·沙克·奈尔森(Anders Schack-Nielsen);卡斯滕·舒尔曼
相关软件: 洛利;混合的;PLT兑换…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

qPCF(质量PCF)

4份文件引用(2017–2020)
软件作者: 卢卡·保里尼;玛格丽塔·佐齐
相关软件: QPL;质量管理清单;Quipper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

未绑定

4份文件引用(2011–2019)
软件作者: 斯蒂芬妮·威里奇;布伦特·A·约基。;蒂姆·谢尔德
相关软件: Isabelle/HOL;Psi-calculi;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

莫纳特隆

引用于2份文件(2009–2010)
软件作者: 贾斯克利奥夫,M。
相关软件: 自动化;涅槃
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

单态单体

3份文件引用(2017–2022)
软件作者: 安德烈亚斯·洛赫比勒
相关软件: 举起;转让;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

session-ocaml会议

3份文件引用(2018–2023)
软件作者: Imai,Keigo;吉田、Nobuko;袁,Shoji
相关软件: 莫德;蒙戈;LASH…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SOL公司

3份文件引用(2019–2022)
软件作者: 马科托·哈马纳
相关软件: Coq;哈斯克尔;咖啡馆…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

认证_名称

引用于2份文件(2015–2022)
软件作者: 克里斯蒂安·斯特纳格尔;雷内·蒂曼
相关软件: 存档正式证据;Isabelle/HOL;Logoot…
主要字段: 计算机科学(68-XX)

拟Borel空间

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

泰康

引用于2份文件(2012–2019)
软件作者: 布莱恩·霍夫曼
相关软件: 哈斯克尔;动物园概率系统;密度编译器…
主要字段: 计算机科学(68-XX)

影响

1份文件引用(2013)
软件作者: S.维斯彻
相关软件: OCaml;mtl;标准…
主要字段: 计算机科学(68-XX)

LWeb网站

1份文件引用(2021)
软件作者: 詹姆斯·帕克、尼基·瓦祖、迈克尔·希克斯
相关软件: 地形;p4v;排练…
主要字段: 计算机科学(68-XX)

备忘录

1份文件引用(2018)
软件作者: Simon Wimmer、Shuwei Hu、Tobias Nipkow
相关软件: 验证此;Isabelle/HOL;Coq公司
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

单峰归一化

1份文件引用(2020)
软件作者: Joshua Schneider、Manuel Eberl、Andreas Lochbihler
相关软件: Isabelle/HOL;概率_素数_测试;密度编译器…
主要字段: 计算机科学(68-XX)

单行提示符

1份文件引用(2013)
软件作者: R.Ingram、B.Felgenhauer
相关软件: 蒙纳德;哈斯克尔
主要字段: 计算机科学(68-XX)

莫奈

1份文件引用(2022)
软件作者: 斋藤、阿尤木;阿费尔特,雷纳德
相关软件: 层次建设者;FreeSpec;OCaml…
主要字段: 计算机科学(68-XX)

mtl公司

1份文件引用(2013)
软件作者: A.吉尔
相关软件: OCaml;标准;弗兰克…
主要字段: 计算机科学(68-XX)

解析

1份文件引用(2020)
软件作者: Leijen,D。;马丁尼,P。
相关软件: 弗兰克;压痕;Shonky…
主要字段: 计算机科学(68-XX)

蒙纳德

1份文件引用(2013)
软件作者: G.Sittampalam、P.Gavin
相关软件: MonadPrompt;哈斯克尔
主要字段: 计算机科学(68-XX)

变压器语义

1份文件引用(2022)
软件作者: 乔治·斯特鲁斯
相关软件: 贝勒红;存档正式证据;Quantales…
主要字段: 计算机科学(68-XX)

筛选结果依据…