Mathai-Quillen formalism