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