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