Automated Economic Reasoning with Quantifier Elimination
Many theorems in economics can be proven (and hypotheses shown to be false) with available decision algorithms. This paper assembles a few dozen classic examples from economic theory that demonstrate why CAD-based algorithms are practical,…