This article shows how, starting from the standard integral definition of the
Gamma function, methods of generalisation can be used to solve definite
integrals involving exponentials and logarithms.
This article shows how Stirling's formula is known to Maple, and how Maple
can be used prove this formula using generating functions or Mellin transforms.