 Gaussian functional integral

A Gaussian functional integral has an exponent quadratic in a bosonic field. Completing the square expresses its source dependence through the inverse quadratic operator, the propagator.