Holonomic modules associated with multivariate normal probabilities of polyhedra

Tamio Koyama

The probability content of a convex polyhedron with a multivariate normal distribution can be regarded as a real analytic function. We give a system of linear partial differential…