没有合适的资源？快使用搜索试试~
我知道了~
文库首页
课程资源
讲义
Homotopy Type Theory Lecture Notes (CMU 15-819)
Homotopy Type Theory Lecture Notes (CMU 15-819)
Type
Theory
15-819
需积分: 10
8 下载量
123 浏览量
2017-03-08
18:16:31
上传
评论
收藏
3.03MB
PDF
举报
温馨提示
立即下载
Homotopy Type Theory Lecture Notes (CMU 15-819)
资源推荐
资源评论
Categorical Logic and Type Theory
浏览：197
5星 · 资源好评率100%
Categorical Logic and Type Theory Bart JACOBS Research Fellow of the Royal Netherlands Academy of Arts and Sciences STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 141
Foundations of Programming Languages Lecture Notes (CMU 15-312)
浏览：169
3星 · 编辑精心推荐
Foundations of Programming Languages Lecture Notes (CMU 15-312)
Compiler Design Lecture Notes (CMU 15-411)
浏览：86
Compiler Design Lecture Notes (CMU 15-411)
Program Analysis Lecture Notes (CMU 15-819O)
浏览：26
Program Analysis Lecture Notes (CMU 15-819O)
A.Course.in.Simple-Homotopy.Theory,.M.M..Cohen..(Springer,1973,3540900551).pdf
浏览：23
A.Course.in.Simple-Homotopy.Theory,.M.M..Cohen..(Springer,1973,3540900551).pdf
Rational Homotopy Type
浏览：44
Rational Homotopy Type A Constructive Study via the Theory of the I*-measure 吴文俊 书 Lecture Notes in Mathematics Edited by A. Oold and B. Eckmann 1264
HoTT 英文原版
浏览：20
Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and .
The Aggregate Constraint Shiffting Homotopy Method for Constrained Sequential Max-min Problem
浏览：117
序列极大极小问题的凝聚动约束同伦算法，王秀玉，姜兴武，对序列极大极小问题构造了二次凝聚函数及组合同伦方程,在可行域有界,连通,边界正则的条件下,证明了同伦路径的收敛性,数值算例表明�
HoTT-UF-Agda-Lecture-Notes:关于使用Agda的数学的单价基础的讲义
浏览：164
Agda数学的单价基础简介新的。 Agda文件的模块化版本位于 ，名称为MGS*.lagda 。 生成讲义的资源可在以下位置获得 需要Agda 。 请查阅以帮助您为Midlands研究生院设置Agda和Emacs。... 本作也产生./agda/*.agda使用文件...
equivariant_homotopy_theory：Andrew Blumberg关于等变同伦理论的课程注释
浏览：113
等变稳定同伦理论笔记 该存储库包含2017年Spring在UT奥斯汀举行的等课堂讲义。此存储库以.tex ， .bib和.cls文件格式.cls源代码； 编译的PDF。 ... 请查阅m392c_EHT_notes.tex以查看哪个部分对应于
An Illustrated Introduction to Topology and Homotopy, Kalajdzievski, 2015.pdf
浏览：180
Algebraic topology, which covered only homotopy theory in its curriculum, was (re)introduced into the undergraduate-graduate program of the Mathematics Department (University of Manitoba) in 2004....
New Convergence Theorems of Homotopy Method for Constrained Non-convex Programming
浏览：6
约束非凸规划同伦方法新的收敛性定理，孙文娟，刘庆怀，本文利用组合内点同伦方法求解约束非凸优化问题，并给出了同伦路径的性质，证明了在同伦映射为正则映射的条件下，同伦算法一定不
matlab解决路径优化代码-L1-homotopy:与使用同伦的L1范数最小化相关的代码
浏览：70
matlab解决路径优化代码L1同伦 与使用同伦的L1范数...L1-homotopy," preprint available at http://users.ece.gatech.edu/~sasif/ and ??? - M. Salman Asif, "Dynamic compressive sensing: Sparse recovery alg
The stable homotopy classification of A4 n-polyhedrawith 2 torsion free homology
浏览：184
The stable homotopy classification of A4 n-polyhedrawith 2 torsion free homology
The Optimal Homotopy Asymptotic Method
浏览：29
这是关于优化算法的电子书，高清，最新版本，经典著作，英文版
homotopy/同伦方法解非线性方程matlab代码
浏览：120
homotopy过程是一致的 牛逼在利用积分的方法进行求取，不会出现迭代方法不能收敛的问题而且还可以绘制出积分路径便于比较 并配有相关文档说明
论文研究-采用Homotopy方法构造Coifman .pdf
浏览：68
采用Homotopy方法构造Coifman ，王演，梁德群，The Coifman wavelet (Coiflet) has better symmetry and better regularity than the Daubechies wavelet, because it has more vanishing moments for the scaling ...
A Aggregate Constraint Shifting Combined Homotopy Method for Solving Nonlinear Programming
浏览：137
非线性优化的凝聚动约束组合同伦算法，王秀玉，姜兴武，对只有不等式约束的优化问题,构造了带参数的凝聚动约束函数及组合同伦方程,并给出了同伦路径的收敛性证明,数值算例表明此方法是可
A Non-interior Point Combined Homotopy Method for
浏览：141
非内点组合同伦方法解变分不等式，商玉凤，于波，本文中，我们提出了一种新的解无界集上变分不等式问题的同伦方法。与文献 [J. Global Optim. 31(2005), 121-131]相比，不需要假设初始点为可�
基于Homotopy-DCD算法的基于稀疏重构的加权非凸优化
浏览：97
提出了一种简单，高效，易于硬件实现的迭代加权算法，以提高基于压缩感知（CS）的稀疏重建的恢复性能。 与传统的l1范数和加权的l1范数优化相比，该算法专注于使用同伦和二分坐标下降（DCD）算法来解决加权非凸罚分...
Homotopy Based Reinforcement Learning with Maximum Entropy for
浏览：12
Homotopy Based Reinforcement Learning with Maximum Entropy for Autonomous Air Combat_基于同伦的最大熵强化学习在自主空战中的应用.pdf
Relationship between the homotopy analysis method and harmonic balance method
浏览：91
Relationship between the homotopy analysis method and harmonic balance method，陈衍茂，刘济科，The relationship between the homotopy analysis method (HAM) and harmonic balance (HB) method is studied....
Vector Davinci官方帮助配置使用手册（AutoSAR）.pdf
浏览：114
5星 · 资源好评率100%
Vector官方帮助文档，配置使用手册。从新建DaVinci工程开始一步一步的讲解如何配置工程；如何编译生成C代码；如何导入CDD、DBC等文件。手册讲解细致，可以说是手把手教学了
c++入门，核心，提高讲义笔记
浏览：146
5星 · 资源好评率100%
最详细的c++入门，核心，提高讲义笔记，看会成为大佬没问题，下载后有疑问请私信。
离散数学及其应用 第八版 奇数编号练习答案.pdf
浏览：152
4星 · 用户满意度95%
离散数学及其应用 第八版本科教学版答案，有需要其他版本到的还可以去华章图书官网下载 地址：http://www.hzbook.com/
数字图像处理 冈萨雷斯 课后习题
浏览：115
数字图像处理 冈萨雷斯 第三版 课后习题。 免费下，没积分的朋友们，免费下。 百度文库网页链接转出来的，清晰，内容可能不太全，没积分的朋友们将就看吧。
科研伦理与学术规范 期末考试2 （40题）.pdf
浏览：20
科研伦理与学术规范 期末考试2 （40题）
最值得收藏的 考研线性代数 全部知识点思维导图整理(张宇, 汤家凤), 附带惯用思维/做题技巧/易错点整理.emmx
浏览：93
5星 · 资源好评率100%
用mindmaster打开文件,本文的思维导图根据张宇和汤家凤两人的课程整理而来并标记出重点内容，整合了很多技巧，题型，方法
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
绝不原创的飞龙
粉丝: 1w+
资源:
1091
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
爬虫python入门.txt
爬虫python入门.txt
基于人工智能（遗传算法 + 贪心 max-rect 算法） 的矩形拼接算法
贪心算法求地图最短路径.zip
算法是程序的灵魂，deep-learn项目是对数据结构和算法知识体系的代码实现.zip
记录了贪心，动态规划等算法基本思想与设计.zip
基于菲阿里基本模型，以及MACD RSI BooL 等技术指标 构建一套基于贪心算法策略的智能投顾模型.zip
oj算法代码-贪心算法.zip
基于yolov8行人检测源码+模型.zip
公开整理-地级市-绿色专利申请、授权数据集（2000-2022年）.xlsx
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
