Computing Gaussian & exponential measures of semi-algebraic sets

We provide a numerical scheme to approximate as closely as desired the Gaussian or exponential measure μ(Ω) of (not necessarily compact) basic semi-algebraic sets Ω⊂Rn. We obtain two monotone (non-increasing and non-decreasing) sequences of upper and lower bounds (ω‾d), (ω_d), d∈N, each converging to μ(Ω) as d→∞. For each d, computing ω‾d or ω_d reduces to solving a semidefinite program whose size increases with d. Some preliminary (small dimension) computational experiments are encouraging and illustrate the potential of the method. The method also works for any measure whose moments are known and which satisfies Carleman's condition.