by susuguo | Jun 28, 2018
We consider the use of Quantifier Elimination (QE) technol- ogy for automated reasoning in economics. There is a great body of work considering QE applications in science and engineering but we demon- strate here that it also has use in the social sciences. We explain...
