蝴蝶定理的机器证明

	竞赛：\| 全国大学生数模竞赛 \| 全国研究生数模竞赛 \| 全国大学生电工数模竞赛 \| 美国"MCM/ICM" 竞赛 \| 资讯：\| 数学理论 \| 交叉学科 \| 基础教育 \| 考研数学 \| 学术动态 \| 编程交流 \| 网络安全 \| 经验技巧 \| 下载：\| 数学篇 \| 算法篇 \| 建模篇 \| 编程篇 \| 数据篇 \| 软件篇 \| 考研篇 \| 交叉学科 \| 视频：\| 大学数学 \| 大学英语 \| 计算机 \| 法律课程 \| 政治课程 \| 经济管理 \| 数学建模 \| 高考数学 \| 功能：\| 矩阵论坛 \| 学校协会 \| 挑战赛 \| 人才招聘 \| 数学问吧 \| "MC"理工浏览器 \| "MCQ"即时通讯 \|
			会员中心
			社区论坛
			加入收藏
			联系我们

您现在的位置：数学中国 >> 资讯无限 >> 计算机技术 >> 编程交流 >> 正文


	【字体：小大】		热

蝴蝶定理的机器证明

作者：灯笼山文章来源：本站原创点击数：更新时间：2005-7-17

共轭比概念可以作为机器证明的基本理论，本文用Mathematica证明蝴蝶定理是一个典型的实例。

具体证明请参考文章《复数、向量最新知识与几何机器证明讲座中的近日回复。http://chat.pep.com.cn/lb5000/topic.cgi?forum=38&topic=9004&start=36&show=0

文章录入：灯笼山责任编辑：灯笼山