论文部分内容阅读
基于交互式定理证明工具Coq构建的近世代数理论——特例研究：主理想环因式分解定理的机器证明
【出 处】
：
北京邮电大学
【发表日期】
：
2018年03期
其他文献
近年,随着城镇化的不断成长变化,国家大力推动特色小镇的建设以寻求新的城镇化出路。而旅游的发展对于促进特色小镇的建设有着重要的作用,在国家颁布的特色小镇名单中以旅游作为特色产业的小镇数量众多。随着现代生活的改变,人们崇尚健康养生,于是康养旅游成为新的旅游热点,温泉旅游因具有独特的康体疗养功效是康养旅游的重要组成形式。温泉旅游和特色小镇的联合打造有利于“健康中国”战略的贯彻落实,使得康养旅游资源得到充
学位
Comparison of simultaneous signals obtained from a dual-field-of-view lidar and its application to n
期刊
文化是民族的血脉和人民的精神家园,民族传统体育是传统文化传播的载体。2017年2月28日,国家体育总局办公厅印发的《中华人民共和国第十三届运动会群众比赛项目竞赛规程总则》中,舞龙运动首次被列入全运会比赛项目。赛事推动舞龙运动的现代传承与发展,全运会成为我国舞龙运动发展的重要转折点。鉴于此,分析全运会对我国舞龙运动发展产生的积极效应,同时基于全运会视角审视我国舞龙运动发展存在的主要问题,从而探讨我国
学位