Quantifier Elimination for Statistical Problems

Understand

Recent improvement on Tarski's procedure for quantifier elimination in the first order theory of real numbers makes it feasible to solve small instances of the following problems completely automatically: 1.

• listing all equality and inequality constraints implied by a graphical model with hidden variables.
• 2.
• Comparing graphyical models with hidden variables (i.e., model equivalence, inclusion, and overlap).