作业帮 > 综合 > 作业

求可以利用希尔伯特算法或吴文俊算法使计算机机械证明几何问题的软件,中英均可.

来源:学生作业帮 编辑:大师作文网作业帮 分类:综合作业 时间:2024/11/12 09:31:36
求可以利用希尔伯特算法或吴文俊算法使计算机机械证明几何问题的软件,中英均可.
不懂得别乱答,下载地址即可
求可以利用希尔伯特算法或吴文俊算法使计算机机械证明几何问题的软件,中英均可.
谷歌搜索
geometry in mechanical formula derivation

automated duction in geometry
再问: 能直接给我下载地址吗
再答: 百度知道不允许
再问: 发我手机,18611621781
再答: 发送私信了
再问: 你确定吗?貌似我没收到
再答: 发送百度私信了