繁體
|
簡體
Sclub交友聊天~加入聊天室當版主
(檢舉)
分享
新浪微博
QQ空间
人人网
腾讯微博
Facebook
Google+
Plurk
Twitter
Line
快速注册
登录
论坛
搜索
帮助
原始风格
brown
purple
green
red
orange
gray
pink
violet
blue
greyish-green
jeans
greenwall
私人消息 (0)
公共消息 (0)
系统消息 (0)
好友消息 (0)
帖子消息 (0)
应用通知 (0)
应用邀请 (0)
悠闲数学娱乐论坛(第2版)
»
Mathematica
» [分享]机器证明平面几何定理——泰博定理
返回列表
发帖
TSC999
发短消息
加为好友
TSC999
当前离线
UID
2719
帖子
227
主题
64
精华
0
积分
1333
威望
1
阅读权限
90
在线时间
196 小时
注册时间
2017-5-16
最后登录
2022-5-17
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2017-5-23 10:40
|
显示全部帖子
[分享]机器证明平面几何定理——泰博定理
如何用计算机证明平面几何定理?下面举例说明:
2017-5-23 10:30
2017-5-23 10:36
2017-5-23 10:40
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
TSC999
发短消息
加为好友
TSC999
当前离线
UID
2719
帖子
227
主题
64
精华
0
积分
1333
威望
1
阅读权限
90
在线时间
196 小时
注册时间
2017-5-16
最后登录
2022-5-17
2
#
发表于 2017-5-23 10:44
|
显示全部帖子
李涛是张景中的高徒,研究机器证明。本人看到过李涛关于机器证明的论文,与他有过书信交往。
TOP
TSC999
发短消息
加为好友
TSC999
当前离线
UID
2719
帖子
227
主题
64
精华
0
积分
1333
威望
1
阅读权限
90
在线时间
196 小时
注册时间
2017-5-16
最后登录
2022-5-17
3
#
发表于 2017-5-29 14:32
|
显示全部帖子
这个算不上是机器证明吧,这其实是人提供思路由机器提供计算,真正的机器证明是过程中的思路和逻辑都是由机 ...
zhcosin 发表于 2017-5-23 13:36
我觉得这是比较初等的机器证明,因为人工参与的比例较大,以后人工智能发展了,可以直接把问题让机器人看一眼(扫描一下),机器瞬间就能给出纯几何证明或是代数式证明。
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]