ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Algorithms for computer algebra
Algorithms for computer algebra
Integration to obtain expressions valid on domains of maximum extent
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
The evaluation of trigonometric integrals avoiding spurious discontinuities
ACM Transactions on Mathematical Software (TOMS)
Symbolic integration I: transcendental functions
Symbolic integration I: transcendental functions
Rectifying transformations for the integration of rational trigonometric functions
Journal of Symbolic Computation
The Mathematica Book
A Knowledge Repository for Indefinite Integration Based on Transformation Rules
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Reducing expression size using rule-based integration
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
| Hi-index | 0.00 |
The computation of definite integrals presents one with a variety of choices. There are various methods such as Newton-Leibniz or Slater's convolution method. There are questions such as whether to split or merge sums, how to search for singularities on the path of integration, when to issue conditional results, how to assess (possibly conditional) convergence, and more. These various considerations moreover interact with one another in a multitude of ways. Herein we discuss these various issues and illustrate with examples.