A new algorithm for integral of trigonometric functions with mechanization

Applied Mathematics and Computation

Volumn 164, Issue 1, 2005, Pages 71-82

  Wang, Weiming ^a   Lin, Changsheng ^a  

^a WENZHOU UNIVERSITY   (China)

Author keywords

Algorithm; Integral; Maple; Mechanization; Omnipotence expressions; Trigonometric functions

Indexed keywords

ALGEBRA; FUNCTIONS; INTEGRAL EQUATIONS; MECHANIZATION; NUMERICAL ANALYSIS; PROBLEM SOLVING;

ANTI-DERIVATIVES; MAPLE; OMNIPOTENCE EXPRESSIONS; TRIGONOMETRIC FUNCTIONS;

ALGORITHMS;

EID: 14844349777     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2004.04.096     Document Type: Article

References (15)

1. T.M. Apostol Calculus third ed. 1967 John Wiley and Sons Inc New York
2. Department of Mathematical of Huadong Normal College Mathematical Analysis 2000 Higher Education Press, Springer-Verlag Berlin, Heidelberg
3. Jimmynovic The Praxes of Mathematical Analysis vol. 3 2002 Shandong Sci-tech Press Qingdao
4. C. Chen, L. Jin, and X. Zhu Mathematical Analysis 1983 Higher Education Press Beijing
5. W. Ludin Principles of Mathematical Analysis third ed. 1976 McGraw-Hill Inc New York
6. J. Ma, Y. Wu, and X. Wang Several integral formula with trigonometric functions Study on High Mathematics 5 4 2002 30 31
7. L. Zhang, and H. Sun Study on the agility of undefined integral Study on High Mathematics 5 4 2002 32 34
8. R.M. Corless Essential Maple 1995 Springer-Verlag New York
9. W. Wu On the decision problem and the mechanical theorem proving in elementary geometries Science Sinica 21 1984 150 172
10. W. Wu Basic principles of mechanical theorem proving in elementary geometries Journal of Automated Reasoning 2 1986 221 252
11. W. Wu Mechanical Theorem Proving in Elementary Geometries: Basic Principle 1994 Springer Wien, New York
12. W. Wu Mathematics Mechanization 2003 Science Press Beijing
13. X. Gao Mathematics mechanization: a survey Advances in Mathematics 30 5 2001 385 404
14. W. Wang Computer Algebra System and Symbolic Computation 2004 Gansu Sci-tech Press Lanzhou
15. E. Kamerich Maple Enchiridion 2000 Springer-Verlag Berlin, Heidelberg