节点文献

关于如何利用Maple软件进行平面几何命题的验证的补充说明

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【作者】赵雪芝；陈小松；

【机构】广东商学院数学部；中南大学应用数学与应用软件系 510320； 410083；

【关键词】平面几何命题； Maple软件；补充说；命题的结论；范式；命题的条件；充分必要条件；机器证明；计算机证明；北京师范大学出版社；

【文献出处】数学通报 , 编辑部邮箱 ,2003年06期
【分类号】G633.63
【下载频次】88

节点文献中：