吴文俊的机械化证明的主要思路是什么?
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:综合作业 时间:2024/06/30 18:42:27
吴文俊的机械化证明的主要思路是什么?
用计算机程序怎么证明几何定理呢?
用计算机程序怎么证明几何定理呢?
![吴文俊的机械化证明的主要思路是什么?](/uploads/image/z/19627085-29-5.jpg?t=%E5%90%B4%E6%96%87%E4%BF%8A%E7%9A%84%E6%9C%BA%E6%A2%B0%E5%8C%96%E8%AF%81%E6%98%8E%E7%9A%84%E4%B8%BB%E8%A6%81%E6%80%9D%E8%B7%AF%E6%98%AF%E4%BB%80%E4%B9%88%3F)
大概就是几何代数化,像解析几何那样吧.
搜搜做题作业网收录互联网各类作业题目,免费共享中高考各类学生作业习题
搜搜做题作业网共收录了 千万级 学生作业题目和答案
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:综合作业 时间:2024/06/30 18:42:27