三角函数表达式的计算机自动化简-中国科技论文在线.PDF

中国科技论文在线 第 29 卷 　第 10 期 计 　　算 　　机 　　学 　　报 Vol . 29 No . 10 2006 年 10 月 C H IN ESE J OU RN AL O F COM PU T ER S Oct . 2006 　 三角函数表达式的计算机 自动化简 符红光1) ,3) 　钟秀琴1)