感谢楼主的推荐！http://0nqmi0.hntiancheng.com/...
...
期待你的精彩评论 加入0人围观电脑资讯
有什么能在手机上画画的软件可以推荐吗？大家有懂数学机械化的吗，一个几何题可以让计算机推理证明出来需要什么平台和软件呢
admin 发表于2022-08-10 浏览100 评论0
主要是指几何定理的机器证明,1992年张景中院士提出了几何定理机器证明的新方法,特别是用机器来证明几何定理,因而几何定理的机器证明演变为指用计算机自动证明某一类...