wayne
发表于 2009-10-31 14:00:49
哦,感觉不应该啊
发布一个软件或者软件包,至少有一个详尽的文档才是。
我在网上海搜,竟然还是没搜到,:)
数学星空
发表于 2009-10-31 14:20:33
中国数学机械化才起步几年,现在稍稍成熟一些的就是MMP ,几何画板,
至于BOTTEMA 还属于探索阶段,功能太少,过多的依赖于计算机的处理能力.
(不过有时会给人一些惊喜,证明用手工做不出来的东西)...
数学星空
发表于 2009-11-3 15:19:11
再提供一个褚小光老师的漂亮证明:
wayne
发表于 2009-11-3 17:37:43
的确漂亮呵呵。
不过看的很吃力
数学星空
发表于 2009-11-3 18:24:00
一个复杂的数学表达式能够一气呵成,这就体现了解答者灵活的思维能力和熟练的运算功底.....