化简计算机,三角函数表达式的计算机自动化简（7页）-原创力文档

29 10 Vol. 29 No. 10

2006 10 CHINESE JOURNA L OF COMPU TERS Oct. 2006

1) , ) 1) 2)

符红光 钟秀琴 曾振柄

1) ( 610041)

2) ( 200062)

) ( 610054)

, .

, .

Lisp . Maple9 Mathematica ,

Maple Mathemat ica.

; ; ; ;

TP 01

Simplifying Trigonmetric Expressions Automatically by Computer

1) , ) 1) 2)

FU Hong-Guang ZHONG Xiu-Qin ZENG Zhen-Bing

1) (Chengdu Institute of Comp uter App lications, ChineseAcademy of Sciences, Chengdu 610041)

2) (Sof tware I nstitute, East China N ormal University , Shanghai 200062)

) (School of Comp uter Science and Engineer ing, University of Electronic Science and Technology of China, Chengdu 610054)

Abstract Automated simplification of trigonometric expressions is an important problem that

hasn. t been completely solved by current computer algebraic systems. Even if the symbolic com-

putation softw ares like M aple, M athematica and Derive, etc. , they are still not applicable enough

to the problem. This paper presents a number of unique prescriptions for the ordering of some

trigonometric rules, w hich have been derived by observing how human experts follow their intui-

tive rules. T he authors have implemented the procedure in Lisp because of its suitability for for-

mula manipulations and rule-based reasoning systems. Consequently, it can simplify many trigo-

nometric expressions that are