分析基础机器证明系统

收藏
  • 【作者】郁文生付尧顺郭礼权
  • 【关键词】数学分析 基础 机器证明
  • 【出版社】科学出版社
  • 【出版日期】2022
  • 【ISBN】978-7-03-070671-3
  • 【中图分类号】 O171
  • 【内容简介】本书共6章,内容包括:引言、分析基础的形式化系统实现、实数完备性等价命题的机器证明、闭区间上连续函数性质的机器证明、第三代微积分的形式化实现、总结与注记。全部展开
  • 【页码】15,396页
  • 【丛书名】数学机械化丛书
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。