金沙国际老平台缩写HoTT)是一套旨在于同伦论的大框架下构建内涵类型论语义的理论

当前位置:金沙国际老平台 > 金沙国际老平台 > 金沙国际老平台缩写HoTT)是一套旨在于同伦论的大框架下构建内涵类型论语义的理论
作者: 金沙国际老平台|来源: http://www.gbtrc.com|栏目:金沙国际老平台

文章关键词:金沙国际老平台,同伦类

  同伦类型论(homotopy type theory,缩写HoTT)是一套旨在于同伦论的大框架下构建内涵类型论语义的理论,金沙国际老平台尤指Quillen模型范畴和弱分解系统。

  【图书目录】-计算机优化同伦算法第一章绪论1.1优化模型与算法1.2计算机优化算法简述1.3同伦算法与路径跟踪1.4计算机可视化方法第二章无约束优化的计算机解法2.1块松弛BFGS方法2.2直接三角分解修正法2.3可分问题计算格式第三章Min-Max问题的同伦算法3.1凝聚函数的再讨论3.2凝聚同伦算法3.3同伦算法可视化第四章约束优化的计算机解法4.1路径跟踪内点算法4.2凝聚中心跟踪算法4.3凝聚约束同伦算法附录计算机程序清单1.无约束优化直接LDL修正算法的FORTRAN语言程序2.Min-Max问题凝聚同伦算法的FORTRAN语言程序3.凝聚同伦算法可视化的C语言程序4.非线性(多目标)规划凝聚中心跟踪算法的C语言程序参考文献 图书总目录古籍 文学艺术 人文社科 经济管理 生活时尚 旅游理论 科学技术 教育 少儿 工具书 网络原创 -

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!