确定
- [图书] 分析基础机器证明系统
- 作者：郁文生，付尧顺，郭礼权著
- 出版社：科学出版社
- 出版日期：2022
- ISBN：978-7-03-070671-3
- 内容简介：本书共6章，内容包括：引言、分析基础的形式化系统实现、实数完备性等价命题的机器证明、闭区间上连续函数性质的机器证明、第三代微积分的形式化实现、总结与注记。
- 丛书名：数学机械化丛书
- 所属馆：
- 获取途径：
- [图书] 论初等几何定理的机器证明与消去法
- 作者：朱望规著
- 出版社：国防工业出版社
- 出版日期：2016
- ISBN：978-7-118-10515-5
- 内容简介：本书介绍了初等几何机器证明，重点是消去法。首先介绍初等几何定理，如何通过坐标化，将已知条件转化为hi公式组，再形成三角阵列的Fi公式组（三角阵列是消去法的前提）。再将定理的结论形成...
- 所属馆：
- 获取途径：
- [图书] 几何定理机器证明的几何不变量方法
- 作者：张景中，高小山，周咸青著
- 出版社：科学出版社
- 出版日期：2015
- ISBN：978-7-03-044066-2
- 内容简介：本书主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法。
- 丛书名：数学机械化丛书
- 所属馆：
- 获取途径：
- [图书] 计算机怎样解几何题
- 作者：张景中著
- 出版社：湖北科学技术出版社
- 出版日期：2016
- ISBN：978-7-5352-7219-5
- 内容简介：本书结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。
- 所属馆：
浙江图书馆 杭州图书馆 临安图书馆 临安图书馆分馆 宁波图书馆 象山县图书馆 温州市图书馆 湖州市图书馆 金华市图书馆 台州市图书馆 台州市椒江区图书馆 绍兴图书馆 绍兴市上虞区图书馆 诸暨市图书馆 新昌县图书馆 丽水市图书馆 丽水市莲都区图书馆 缙云县图书馆 常山县图书馆 嘉善县图书馆 衢州市柯城区图书馆 更多 +
- 获取途径：
- [图书] 王者之路 机器证明及其应用
- 作者：吴文俊主编
- 出版社：湖南科学技术出版社
- 出版日期：1999.12
- ISBN：7-5357-2858-8
- 丛书名：攀登计划普及丛书
- 所属馆：
- 获取途径：
- [图书] 论初等几何定理的机器证明与消去法
- 作者：朱望规著
- 出版社：国防工业出版社
- 出版日期：2023
- ISBN：978-7-118-10515-5
- 内容简介：本书介绍了初等几何机器证明，重点是消去法。首先介绍初等几何定理，如何通过坐标化，将已知条件转化为hi公式组，再形成三角阵列的Fi公式组（三角阵列是消去法的前提）。再将定理的结论形成...
- 所属馆：
- 获取途径：
- [图书] 计算机怎样解几何题
- 作者：张景中著
- 出版社：湖北科学技术出版社
- 出版日期：2022
- ISBN：978-7-5352-7219-5
- 内容简介：本书结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。
- 所属馆：
浙江图书馆 杭州图书馆 临安图书馆 临安图书馆分馆 宁波图书馆 象山县图书馆 温州市图书馆 湖州市图书馆 金华市图书馆 台州市图书馆 台州市椒江区图书馆 绍兴图书馆 绍兴市上虞区图书馆 诸暨市图书馆 新昌县图书馆 丽水市图书馆 丽水市莲都区图书馆 缙云县图书馆 常山县图书馆 嘉善县图书馆 衢州市柯城区图书馆 更多 +
- 获取途径：
- [图书] 计算机怎样解几何题
- 作者：张景中著
- 出版社：湖北科学技术出版社
- 出版日期：2022
- ISBN：978-7-5352-7219-5
- 内容简介：本书结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。
- 所属馆：
浙江图书馆 杭州图书馆 临安图书馆 临安图书馆分馆 宁波图书馆 象山县图书馆 温州市图书馆 湖州市图书馆 金华市图书馆 台州市图书馆 台州市椒江区图书馆 绍兴图书馆 绍兴市上虞区图书馆 诸暨市图书馆 新昌县图书馆 丽水市图书馆 丽水市莲都区图书馆 缙云县图书馆 常山县图书馆 嘉善县图书馆 衢州市柯城区图书馆 更多 +
- 获取途径：