相对三角形几何

宇宙无理数 · 发表于 2021-12-29 08:16

shuxueren 发表于 2020-5-6 20:11
在数学研发论坛，creasson教授，借助功能强大的符号软件，通过一系列高超的换元变形，
一举证明了“5.4大 ...

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

陈九章 · 发表于 2021-12-29 12:08

本帖最后由陈九章于 2021-12-29 14:22 编辑

陈九章 · 发表于 2021-12-29 12:09

本帖最后由陈九章于 2021-12-29 14:33 编辑

宇宙无理数 · 发表于 2021-12-29 17:09

宇宙无理数发表于 2021-12-29 08:16
请问你说的符号软件是什么软件?

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

陈九章 · 发表于 2022-1-6 21:31

本帖最后由陈九章于 2022-1-7 13:03 编辑

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

陈九章 · 发表于 2022-1-6 21:32

陈九章 · 发表于 2022-1-6 21:33

陈九章 · 发表于 2022-1-6 21:34

陈九章 · 发表于 2022-1-10 17:14

本帖最后由陈九章于 2022-1-17 07:10 编辑

陈九章 · 发表于 2022-1-10 17:19

本帖最后由陈九章于 2022-1-10 17:28 编辑

		自动登录	找回密码
密码			注册