立方英尺 swMATH ID: 22723 软件作者： Cohen，C.、Coquand，T.、Huber，S.、Mörtberg，A。 描述： 立方型理论。代码库。立方型理论的实验实现。 主页： https://github.com/mortberg/cubicaltt网站 源代码： https://github.com/mortberg/cubicaltt网站 相关软件： github；Coq公司；手推车；立方agda；大学数学；Nuprl公司；精益；阿格达；红色PRL；自动化；伊德里斯；HoTT公司；存档正式证据；开普勒98；伊莎贝尔；举起；换乘；微型ML；伊尔迪斯；仙女座 引用于： 70文件 全部的 前5名91位作者引用 7 可口、蒂埃里 6 安德鲁·皮特斯（Andrew M.Pitts）。 5 乌尔里克·巴赫霍尔茨 5 莫格尔贝里，拉斯穆斯·埃杰勒斯 5 安德斯·莫特伯格 5 伊恩·奥尔顿 4 卡洛·安吉利 4 Lars Birkedal公司 4 阿列舍·比兹亚克 4 拉纳德·A·克鲁斯顿。 4 罗伯特·哈珀 4 西蒙·胡贝尔 三 阿伦斯，贝内迪克特 三 托尔斯滕·阿滕柯奇 三 多米尼克·德夫里塞 三 汉斯·布格·格雷斯沃尔 三 Hou（Favonia）、Kuen-Bang 三 丹尼尔·李卡塔（Daniel R.Licata）。 三 巴赛尔·曼纳 三 克里斯蒂安·萨特勒 三 溅出物，Bas 三 尼科洛·维尔特里 三 安德烈亚·维佐西 2 安德烈亚斯·阿贝尔。 2 杰斯珀·考克斯 2 尼古拉·甘比诺 2 尼古拉·克劳斯 2 迪米特里斯·泽梅齐斯 2 范德维德，尼尔斯 2 雅各布·冯·劳默 1 史蒂夫·阿沃迪 1 安德烈·鲍尔 1 布鲁诺·本岑 1 马克·贝泽姆 1 西蒙·博利埃 1 纪尧姆·布鲁内里 1 Samuel R.巴斯。 1 埃文·卡瓦洛 1 乔里斯·塞勒曼斯 1 科恩，西里尔 1 丹尼尔森、尼尔斯·安德斯 1 汤姆·J·德容。 1 科林·杰尼特 1 简·赫尔曼·杰弗斯 1 丹尼尔·格拉泽 1 丹尼尔·理查德·格雷森 1 丹·格罗斯曼 1 菲利普·哈克尼 1 菲利普·哈塞尔瓦特（Philipp G.Haselwarter）。 1 布兰登·休尔 1 Hötzel Escardó，马汀 1 格雷厄姆·赫顿 1 皮埃尔·海韦拉特 1 罗莎莉，伊姆霍夫 1 Cezary卡利西克 1 安布罗斯·卡波西 1 克日什托夫·卡普尔金 1 乌尔里希·威廉·科伦巴赫 1 马可·费德里科·拉雷阿 1 约翰·W·利奥。 1 扎切里·林赛 1 拉尔夫·马提斯 1 爱德华·莫尔豪斯 1 新，Max S。 1 北，Paige Randall 1 安德烈亚斯·努伊茨 1 Pąk，卡罗尔 1 弗兰克·皮森斯 1 平约，枪 1 迈克尔·拉特扬 1 艾米丽·里尔 1 埃格伯特·里杰克 1 塔里亚·林格 1 安德烈·罗丁。 1 安娜·罗梅罗 1 马蒂娜·罗维利 1 鲁比奥·加西亚、朱利奥·杰苏斯 1 费比安·鲁奇 1 弗朗西斯·谢尔盖拉特 1 Michael A.舒尔曼。 1 乔纳森·斯特林 1 托马斯·斯特里彻 1 尼古拉斯·塔巴雷奥 1 阿明·蒂曼尼 1 弗洛里斯·范·道恩 1 菲利普·李·沃德勒 1 乔纳森·温伯格 1 大卫·怀特 1 王良泽 1 Yau，Donald Y。 1 纳撒尼尔·亚兹达尼 全部的 前5名19篇连载文章中引用 11 计算机科学中的逻辑方法 8 MSCS公司。计算机科学中的数学结构 6 自动推理杂志 三 Indagationes Mathematicae公司。新系列 三 函数编程杂志 2 合成 2 高层建筑 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 斯堪的纳维亚数学 1 美国数学学会会刊 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 美国数学学会公报。新系列 1 《纽约数学杂志》 1 范畴的理论与应用 1 Oberwolfach报告 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 55 数学逻辑和基础（03-XX） 36 代数拓扑（55-XX） 30 范畴理论；同调代数（18-XX） 27 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文