三角函数表达式的计算机自动化简

摘要：

从人的思维模式和技巧出发,通过观察专家直觉导出了一套三角函数化简规则链表.利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式,同时产生可读的化简过程.有关算法已用Lisp编程实现.文中将它与Maple9和Mathematica作了测试对比,结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica.

关键词：三角函数化简、组合规则、规则链表、可读证明、自动推理

所属期刊栏目：29

分类号：TP3(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2004CB318003;中国科学院百人计划项目20044040

在线出版日期：2006-11-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1869-1875