This book develops integral identities, mostly involving multidimensional functions and infinite limits of integration, whose evaluations are intractable by common means. It exposes a methodology based on the multivariate power substitution and its variants, assisted by the software toolMathematica. The approaches introduced comprise the generalized method of exhaustion, the multivariate power substitution and its variants, and the use of permutation symmetry to evaluate definite integrals, which are very important both in their own right, and as necessary intermediate steps towards more...