Formal Verification of Calculus without Limits in Coq

VIP专享 2020-03-09 17:39:06 786KB PDF
34
收藏 收藏
举报

基于Coq的不用极限微积分形式化验证,郭礼权,郁文生,人工智能是我国当前重大科技发展战略之一,数学形式化作为人工智能的重要理论基础,对科技发展具有重要意义. 本文基于证明辅助工�

...展开详情
立即下载 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
Formal Verification of Calculus without Limits in Coq (VIP专享) VIP下载
1/0