数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
楼主: shuxueren

相对三角形几何

[复制链接]
发表于 2021-12-29 08:16 | 显示全部楼层
shuxueren 发表于 2020-5-6 20:11
在数学研发论坛,creasson教授,借助功能强大的符号软件,通过一系列高超的换元变形,
一举证明了“5.4大 ...

请问你说的符号软件是什么软件?

点评

欢迎宇宙无理数老师大驾光临,敬请赐教! Creasson先生的熟悉多种符号软件,他常用功能强大的Mathematica数学运算软件。  发表于 2021-12-29 11:42
回复 支持 反对

使用道具 举报

发表于 2021-12-29 12:08 | 显示全部楼层
本帖最后由 陈九章 于 2021-12-29 14:22 编辑

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

发表于 2021-12-29 12:09 | 显示全部楼层
本帖最后由 陈九章 于 2021-12-29 14:33 编辑


本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

发表于 2021-12-29 17:09 | 显示全部楼层
宇宙无理数 发表于 2021-12-29 08:16
请问你说的符号软件是什么软件?

谢谢陈九章. 我用过Mathematica. 这类软件没有智能. 很希望能看到一款能够推导数学定理的, 真正具有人类智能的软件, 但是很可惜, 全世界至今仍然没有这样的软件. 人类还没有理解什么是智能. 人工智能还有漫长的路要走.

点评

吴文俊院士说,数学有两个中心思想:①公理化思想(推理);②机械化思想(算法)。  发表于 2021-12-30 10:27
张景中院士开发的超级画板,具有作图、符号计算、数值计算和智能解题功能。  发表于 2021-12-30 09:28
谢谢老师的回复。华中师范大学彭翕成博士,在吴文俊、张景中二院士的基础上,开发了一款能够发现简单几何结论的软件-----几何神算,应该是机器发现数学定理的一抹曙光!  发表于 2021-12-29 18:29
回复 支持 反对

使用道具 举报

发表于 2022-1-6 21:31 | 显示全部楼层
本帖最后由 陈九章 于 2022-1-7 13:03 编辑

下列定理,是我多年前用“笔算”艰难证明的,
敬请陆教授、宇宙无理数老师及各位老师,
借助功能强大的Mathematica符号软件,用“机算”推导一下,
看看是不是比较容易些?

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

发表于 2022-1-6 21:32 | 显示全部楼层

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

发表于 2022-1-6 21:33 | 显示全部楼层

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

发表于 2022-1-6 21:34 | 显示全部楼层

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

发表于 2022-1-10 17:14 | 显示全部楼层
本帖最后由 陈九章 于 2022-1-17 07:10 编辑




本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

发表于 2022-1-10 17:19 | 显示全部楼层
本帖最后由 陈九章 于 2022-1-10 17:28 编辑

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2024-3-29 14:57 , Processed in 0.098633 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表