Academic
Publications
Automated and readable simplification of trigonometric expressions

Automated and readable simplification of trigonometric expressions,10.1016/j.mcm.2006.04.002,Mathematical and Computer Modelling,Hongguang Fu,Xiuqin Z

Automated and readable simplification of trigonometric expressions   (Citations: 1)
BibTex | RIS | RefWorks Download
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 how human experts follow their intuitive rules. We have implemented the procedure in Lisp because of its suitability for formula manipulations and rule-based reasoning systems. Consequently, it can simplify many trigonometric expressions which are even difficult to do by hand, and it achieves much better results for many hard problems than any of Maple, Mathematica, and Maxima do.
Journal: Mathematical and Computer Modelling - MATH COMPUT MODELLING , vol. 44, no. 11-12, pp. 1169-1177, 2006
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: