求可以利用希尔伯特算法或吴文俊算法使计算机机械证明几何问题的软件,中英均可.不懂得别乱答,下载地址即可
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/30 02:12:52
求可以利用希尔伯特算法或吴文俊算法使计算机机械证明几何问题的软件,中英均可.
不懂得别乱答,下载地址即可
谷歌搜索
geometry in mechanical formula derivation
或
automated duction in geometry
收录互联网各类作业题目,免费共享学生作业习题
慧海网手机作业共收录了 千万级 学生作业题目
来源:学生作业帮助网 编辑:作业帮 时间:2024/05/30 02:12:52
求可以利用希尔伯特算法或吴文俊算法使计算机机械证明几何问题的软件,中英均可.
不懂得别乱答,下载地址即可
谷歌搜索
geometry in mechanical formula derivation
或
automated duction in geometry