Mathematical and computer modelling, 2006-12, Vol.44 (11), p.1169-1177
2006
Volltextzugriff (PDF)
Details
- Autor(en) / Beteiligte
- Titel
- Automated and readable simplification of trigonometric expressions
- Ist Teil von
- Mathematical and computer modelling, 2006-12, Vol.44 (11), p.1169-1177
- Ort / Verlag
- Oxford: Elsevier Ltd
- Erscheinungsjahr
- 2006
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- 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.
- Sprache
- Englisch
- Identifikatoren
- ISSN: 0895-7177eISSN: 1872-9479DOI: 10.1016/j.mcm.2006.04.002Titel-ID: cdi_proquest_miscellaneous_29340291
- Format
- –
- Schlagworte
- Algorithmics. Computability. Computer arithmetics, Applied sciences, Artificial intelligence, Automated reasoning, Combination rules, Computer science, control theory, systems, Exact sciences and technology, Mathematics, Methods of scientific computing (including symbolic computation, algebraic computation), Numerical analysis. Scientific computation, Pattern matching, Pattern recognition. Digital image processing. Computational geometry, Readable proof, Rule lists, Sciences and techniques of general use, Simplification of trigonometric expressions, Theoretical computing