搜索筛选:
搜索耗时3.2277秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
Machine Proving System for Mathematical Theorems based on Coq-Machine Realization of the Axiomatic S
[会议论文] 作者：Sun Tianyu,
来源：2017中国智能物联系统会议 年份：2017
Using the interactive theorem proving tool Coq,we completed the construction of the machine proving system of the axiomatic set theory.The axiomatic set theory used in this paper refers to Kelleys axi...
[期刊论文] 作者：Ming SUN,Tianyu ZHU,
来源：亚洲农业研究：英文版 年份：2014
Recently,small town community public safety problem has been increasingly highlighted,but its research is short on public safety carrying capacity. Through the...
[会议论文] 作者：Sun Tianyu,Yu Wensheng,
来源：2017中国智能物联系统会议 年份：2017
Under the axiomatic set theory frame,this paper implements the machine proving of the equivalence between the Axiom of Choice and Tukey lemma using Coq as an interactive theorem proving tool.The provi...
[期刊论文] 作者：Bowen Zheng,Guiling Sun,Tianyu,
来源：电脑和通信(英文) 年份：2017
We propose the Forward-Backward Synergistic Acceleration Pursuit (FBSAP) algorithm in this paper. The FBSAP algorithm inherits the advantages of the Forward-Bac...
[期刊论文] 作者：LI Guoqiang,CAI Quan,LI Huanxi,ZHENG Lijing,HE Bo,SUN Tianyu,
来源：武汉理工大学学报(材料科学版)(英文版) 年份：2009
To identify the re-arrangement of constituent atoms of an amorphous Mg_(65)Cu_(25)Gd_(10)alloy happened with annealing, structure relaxation of the alloy was investigated as a function of an-nealing time at 373 K through extended X-ray abso......
[期刊论文] 作者：LI Guoqiang,ZHENG Lijing,CAI Quan,LI Huanxi,WANG Xiaomin,SUN Tianyu,
来源：武汉理工大学学报（材料科学版）（英文版） 年份：2011
...
相关搜索：
