 
Summary: Definite Integration in
Mathematica V3.0
Victor Adamchik
Introduction
The aim of this paper is to provide a short description of definite integration algorithms implemented in Mathemat
ica Version 3.0.
$Version
Linux 3.0 HApril 25, 1997L
Proper Integrals
All proper integrals in Mathematica are evaluated by means of the NewtonLeibniz theorem
Å
a
b
f HxL Ç x = FHbL  FHaL
where FHxL is an antiderivative. It is wellknown that the NewtonLeibniz 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
following integral
Å
0
4
