Corpus ID: 13756891

Quantifier Elimination for Reasoning in Economics

  title={Quantifier Elimination for Reasoning in Economics},
  author={Casey B. Mulligan and R. J. Bradford and J. Davenport and Matthew England and Zak Tonks},
  • Casey B. Mulligan, R. J. Bradford, +2 authors Zak Tonks
  • Published 2018
  • Mathematics, Computer Science
  • ArXiv
  • We consider the use of Quantifier Elimination (QE) technology for automated reasoning in economics. QE dates back to Tarski's work in the 1940s with software to perform it dating to the 1970s. There is a great body of work considering its application in science and engineering but we show here how it can also find application in the social sciences. We explain how many suggested theorems in economics could either be proven, or even have their hypotheses shown to be inconsistent, automatically… CONTINUE READING
    1 Citations
    Towards Efficient Quantifier Elimination in Mathematica
    • PDF


    A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
    • T. Sturm
    • Mathematics, Computer Science
    • Math. Comput. Sci.
    • 2017
    • 17
    • PDF
    Quantifier elimination for real closed fields by cylindrical algebraic decomposition
    • 1,362
    Sound Auction Specification and Implementation
    • 17
    • PDF
    The complexity of quantifier elimination and cylindrical algebraic decomposition
    • 117
    • PDF
    QEPCAD B: a program for computing with semi-algebraic sets using CADs
    • 304
    • PDF
    REDLOG: computer algebra meets computer logic
    • 373
    • Highly Influential
    Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)
    • 10
    The Complexity of Linear Problems in Fields
    • 286