Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Automated Reasoning
Computer Algebra System
Pattern Matching
Rule Based Reasoning
Subscribe
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
Edit
Automated and readable simplification of trigonometric expressions
(
Citations: 1
)
BibTex

RIS

RefWorks
Download
Hongguang Fu
,
Xiuqin Zhong
,
Zhenbing Zeng
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 rulebased 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. 1112, pp. 11691177, 2006
DOI:
10.1016/j.mcm.2006.04.002
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.
(
www.sciencedirect.com
)
(
www.informatik.unitrier.de
)
(
dx.doi.org
)
(
linkinghub.elsevier.com
)
More »
Citation Context
(1)
...And according to these basic rules, we can still generate some combination rules[
15
] for increasing inference efficiency...
Xiuqin Zhong
,
et al.
Coupling Ontology with RuleBased Theorem Proving for Knowledge Repres...
References
(4)
Artificial intelligence I
(
Citations: 2502
)
Unknown
Published in 1973.
Machine Proofs in Geometry
(
Citations: 48
)
S. C. Chou
,
X. S. Gao
,
J. Z. Zhang
Published in 1994.
Artificial intelligence  theory and practice
(
Citations: 48
)
Thomas L. Dean
,
James F. Allen
,
Yiannis Aloimonos
Published in 1995.
Knowledge Representation: Logical, Philosophical, and Computational Foundations
(
Citations: 960
)
John F. Sowa
,
Stuart C. Shapiro
Published in 2000.
Sort by:
Citations
(1)
Coupling Ontology with RuleBased Theorem Proving for Knowledge Representation and Reasoning
Xiuqin Zhong
,
Hongguang Fu
,
Yan Jiang
Published in 2010.