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

• 作者: 曾振柄 符红光 钟秀琴
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 三角函数化简 组合规则 规则链表 可读证明 自动推理
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 短文
• 页码范围: 1869-1875
• 页数: 7页
• 分类号: TP3
• 字数: 5858字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2006.10.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	符红光	中国科学院成都计算机应用研究所	13	136	4.0	11.0
5	曾振柄	华东师范大学软件学院	29	105	6.0	8.0
6	钟秀琴	中国科学院成都计算机应用研究所	1	6	1.0	1.0