搜索筛选:
搜索耗时3.4737秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：郭礼权,付尧顺,郁文生,,
来源：中国科学:数学 年份：2021
本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分—没有极限的微积分—理论构架的形式化验证,包括对张景中等发表的题为"微积分基础的新视角"论文中全部定义和定理的Coq描述.进而,对定理无例外地给出Coq的机器证明代码,所有形式化过......
[期刊论文] 作者：刘佳,吕红伟,付尧顺,郁文生,
来源：伊犁师范学院学报:自然科学版 年份：2020
基于计算机证明辅助工具Coq,参考“公理化集合论”形式化系统,实现朴素集合论形式化系统,并在此基础上给出有标集族及其交和并的形式化,完成有标集族相关定理的Coq描述及机器...
相关搜索：
