详细PVS工具剖析,国内少于的介绍如此详细的文档。
2020-01-14 03:01:38 283KB 形式化,证明工具,PVS
1
定理证明是数学领域一个古老的分支,它从公理出发,利用推理规则为定力寻找证明过程。
2019-12-21 22:23:13 58.73MB Coq 形式化验证
1
CSDN上有人发带通采样定理的推导文档PDF格式,只有半页,居然收5分,我勒个去;我这个是有详细证明的,个人觉得讲解得很清晰,而且应用也很方便,word格式,看不懂我免费解释。只收2分,恶心下收5分的。
2019-12-21 21:12:30 90KB 带通采样定理 证明
1