Automated and readable simplification of
β
Hongguang Fu; Xiuqin Zhong; Zhenbing Zeng
π
Article
π
2006
π
Elsevier Science
π
English
β 320 KB
Automated simplification of trigonometric expressions is an important problem that hasn't been completely solved by current computer algebra systems. This paper presents a number of unique prescriptions for the ordering of some trigonometric transformation rules, which have been derived by observing