效率 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)
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)
备忘录 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)