Summary: Definite Integration in
The aim of this paper is to provide a short description of definite integration algorithms implemented in Mathemat-
ica Version 3.0.
Linux 3.0 HApril 25, 1997L
All proper integrals in Mathematica are evaluated by means of the Newton-Leibniz theorem
f HxL Ç x = FHbL - FHaL
where FHxL is an antiderivative. It is well-known that the Newton-Leibniz formula in the given form does not hold
any longer if the antiderivative FHxL has singularities on an interval of integration Ha, bL. Let us consider the