Towards Constructive Homological Algebra in Type Theory

机译：朝着理论中的建设性同源代数

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper reports on ongoing work on the project of representing the Kenzo system [15] in type theory [11].

机译：本文有关代表理论中Kenzo系统[15]的项目的持续工作[11]。

著录项

来源
《Symposium on Computer Algebra Systems and Automated Deduction Systems》|2007年||共15页
会议地点
作者
Thierry Coquand; Arnaud Spiwack;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. A Homological Theory of Functions: Nonuniform Boolean Complexity Separation and VC Dimension Bound Via Algebraic Topology, and a Homological Farkas Lemma [J] . Greg Yang LIPIcs : Leibniz International Proceedings in Informatics . 2018,第1期

机译：函数的同调论：通过代数拓扑绑定非均匀布尔复杂度分离和VC维，以及同构Farkas引理
2. Commutative algebra, homological algebra and representation theory - Selected papers, Conferences, Catania, Roma, Genova, Italy, April to June 1998 - Preface [J] . Boffi G., Ragusa A., Strickland E., Journal of pure and applied algebra . 2000,第1a3期

机译：可交换代数，同源代数和表示论-论文精选，会议，卡塔尼亚，罗马，热那亚，意大利，1998年4月至6月-前言
3. Relative homological algebra and Waldhausen $K$-theory [J] . Salch Andrew Homology, Homotopy and Applications . 2018,第1期

机译：相对同源代数和Waldhausen $ K $-理论
4. Towards Constructive Homological Algebra in Type Theory [C] . Thierry Coquand, Arnaud Spiwack Symposium on Computer Algebra Systems(CAS) and Automated Deduction Systems(ADS)(Calculemus 2007); International Conference on Mathematical Knowledge Management(MKM 2007); 20070627-30; 20070627-30; Hagenberg(AT); Hagenberg(AT) . 2007

机译：在类型理论中走向构造同调代数
5. Three contributions to topology, algebraic geometry and representation theory: Homological finiteness of abelian covers, algebraic elliptic cohomology theory and monodromy theorems in the elliptic setting. [D] . Yang, Yaping. 2014

机译：对拓扑，代数几何和表示理论的三个贡献：阿贝尔封面的同调有限性，代数椭圆同调理论和椭圆环境中的一峰定理。
6. On the Foundation of a Constructive Theory of Discrete Commutative Algebra (Second Paper) [O] . H. S. Vandiver 1935

机译：关于离散可交换代数构造理论的基础（第二篇论文）
7. Towards Constructive Homological Algebra in Type Theory [O] . Thierry Coqu, Arnaud Spiwack 2013

机译：在类型理论中建构的同源代数

Towards Constructive Homological Algebra in Type Theory

摘要

著录项

相似文献

相关主题

期刊订阅