Automated and readable simplification of trigonometric expressions

Mathematical and Computer Modelling

Volumn 44, Issue 11-12, 2006, Pages 1169-1177

  Fu, Hongguang ^a   Zhong, Xiuqin ^a   Zeng, Zhenbing ^b  

^a CHENGDU INSTITUTE OF COMPUTER APPLICATIONS   (China)

^b EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

Automated reasoning; Combination rules; Pattern matching; Readable proof; Rule lists; Simplification of trigonometric expressions

Indexed keywords

KNOWLEDGE BASED SYSTEMS; MATHEMATICAL TRANSFORMATIONS; NUMERICAL ANALYSIS; PATTERN MATCHING; PROBLEM SOLVING;

AUTOMATED REASONING; COMBINATION RULES; READABLE PROOF; RULE LISTS; SIMPLIFICATION OF TRIGONOMETRIC EXPRESSIONS;

COMPUTER SYSTEMS;

EID: 33746912709     PISSN: 08957177     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.mcm.2006.04.002     Document Type: Article

References (6)

1. Carette J. International conference on symbolic and algebraic computation. Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (2004), Santander, Spain 72-79
2. Lu R. Artificial Intelligence (1996), Science Press, Beijing
3. Wu W.-t. A Mechanization Method of Equations-Solving and Theorem-Proving. In: Hoffmann C.M. (Ed). Advances in Computing Research vol. 6 (1992), JAI Press Inc., Greenwich, USA 103-138
4. Chou S.-C., Gao X.-S., and Zhang J.-Z. Machine Proofs in Geometry (1994), World Scientific Publishing pp. 101-165
5. Dean T., and Allen J. Artificial Intelligence: Theory and Practice (1994), Addison Wesley Professional
6. Sowa J.F. Knowledge Representation: Logical, Philosophical, and Computational Foundations (2000), Brooks/Cole