IDEAS home Printed from https://ideas.repec.org/p/nbr/nberwo/24602.html
   My bibliography  Save this paper

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics

Author

Listed:
  • Casey B. Mulligan
  • Russell Bradford
  • James H. Davenport
  • Matthew England
  • Zak Tonks

Abstract

We consider problems originating in economics that may be solved automatically using mathematical software. We present and make freely available a new benchmark set of such problems. The problems have been shown to fall within the framework of non-linear real arithmetic, and so are in theory soluble via Quantifier Elimination (QE) technology as usually implemented in computer algebra systems. Further, they all can be phrased in prenex normal form with only existential quantifiers and so are also admissible to those Satisfiability Module Theory (SMT) solvers that support the QF_NRA logic. There is a great body of work considering QE and SMT application in science and engineering, but we demonstrate here that there is potential for this technology also in the social sciences.

Suggested Citation

  • Casey B. Mulligan & Russell Bradford & James H. Davenport & Matthew England & Zak Tonks, 2018. "Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics," NBER Working Papers 24602, National Bureau of Economic Research, Inc.
    • Handle: RePEc:nbr:nberwo:24602
    Note: TWP
    as

    Download full text from publisher

    File URL: http://www.nber.org/papers/w24602.pdf
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Mulligan, Casey B., 2012. "The Redistribution Recession: How Labor Market Distortions Contracted the Economy," OUP Catalogue, Oxford University Press, number 9780199942213.
    2. Charles Steinhorn, 2008. "Tame Topology and O-Minimal Structures," Lecture Notes in Economics and Mathematical Systems, in: Computational Aspects of General Equilibrium Theory, pages 165-191, Springer.
    3. Li, Xiaoliang & Wang, Dongming, 2014. "Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification," Journal of Mathematical Economics, Elsevier, vol. 54(C), pages 48-58.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Casey B. Mulligan, 2018. "Quantifier Elimination for Deduction in Econometrics," NBER Working Papers 24601, National Bureau of Economic Research, Inc.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Casey B. Mulligan, 2018. "Quantifier Elimination for Deduction in Econometrics," NBER Working Papers 24601, National Bureau of Economic Research, Inc.
    2. Martin Guzi, 2014. "An Empirical Analysis of Welfare Dependence in the Czech Republic," Czech Journal of Economics and Finance (Finance a uver), Charles University Prague, Faculty of Social Sciences, vol. 64(5), pages 407-431, November.
    3. Martin Beraja & Erik Hurst & Juan Ospina, 2019. "The Aggregate Implications of Regional Business Cycles," Econometrica, Econometric Society, vol. 87(6), pages 1789-1833, November.
    4. Clifford F. Thies, 2017. "Slip and Drift in Labor Statistics Since 2007," Econ Journal Watch, Econ Journal Watch, vol. 14(1), pages 121–132-1, January.
    5. Geert Bekaert & Eric Engstrom & Andrey Ermolov, 2020. "Aggregate Demand and Aggregate Supply Effects of COVID-19: A Real-time Analysis," Finance and Economics Discussion Series 2020-049, Board of Governors of the Federal Reserve System (U.S.).
    6. Reich, Michael & West, Rachel, 2015. "The Effects of Minimum Wages on Food Stamp Enrollment and Expenditures," Institute for Research on Labor and Employment, Working Paper Series qt0wh9z8x4, Institute of Industrial Relations, UC Berkeley.
    7. Bekaert, Geert & Engstrom, Eric & Ermolov, Andrey, 2021. "Macro risks and the term structure of interest rates," Journal of Financial Economics, Elsevier, vol. 141(2), pages 479-504.
    8. Xiaoliang Li & Kongyan Chen, 2023. "Equilibria and their stability in an asymmetric duopoly model of Kopel," Papers 2301.12628, arXiv.org.
    9. Yu-Ling Chang & Chi-Fang Wu, 2021. "Examining Low-Income Single-Mother Families’ Experiences with Family Benefit Packages during and after the Great Recession in the United States," JRFM, MDPI, vol. 14(6), pages 1-19, June.
    10. Meg Patrick Tuszynski, 2021. "Entanglement and Perverse Spontaneous Orders," Studies in Public Choice, in: David J. Hebert & Diana W. Thomas (ed.), Emergence, Entanglement, and Political Economy, pages 87-101, Springer.
    11. Richard V. Burkhauser & Kevin Corinth & Douglas Holtz-Eakin, 2021. "Policies to Help the Working Class in the Aftermath of COVID-19: Lessons from the Great Recession," The ANNALS of the American Academy of Political and Social Science, , vol. 695(1), pages 314-330, May.
    12. Li, Xiaoliang & Li, Bo & Liu, Li, 2023. "Stability and dynamic behaviors of a limited monopoly with a gradient adjustment mechanism," Chaos, Solitons & Fractals, Elsevier, vol. 168(C).
    13. David Coble, 2015. "The Labor Wedge: New Facts Based on US Microdata," Working Papers Central Bank of Chile 751, Central Bank of Chile.
    14. Elisabetta De Cao, 2017. "The Impact of Unemployment on Child Maltreatment in the United States," Economics Series Working Papers 837, University of Oxford, Department of Economics.
    15. Xiaoliang Li, 2022. "Cournot duopoly games with isoelastic demands and diseconomies of scale," Papers 2203.09972, arXiv.org.
    16. Melvin, Shamar & Smith, Travis A., 2022. "From paper to plastic: How the transition to EBT affected SNAP enrollment," Economics Letters, Elsevier, vol. 220(C).
    17. Dan Brown & Elisabetta De Cao, 2017. "The Impact of Unemployment on Child Maltreatment in the United States," Economics Papers 2017-W04, Economics Group, Nuffield College, University of Oxford.
    18. Jeehoon Han, 2016. "The Impact of SNAP on Material Hardships: Evidence From Broad‐Based Categorical Eligibility Expansions," Southern Economic Journal, John Wiley & Sons, vol. 83(2), pages 464-486, October.
    19. Yavuz Arslan & Ahmet Degerli & Gazi Kabaş, 2019. "Unintended consequences of unemployment insurance benefits: the role of banks," BIS Working Papers 795, Bank for International Settlements.
    20. Donald J. Brown, 2012. "Notes on Computational Complexity of GE Inequalities," Cowles Foundation Discussion Papers 1865, Cowles Foundation for Research in Economics, Yale University.

    More about this item

    JEL classification:

    • B41 - Schools of Economic Thought and Methodology - - Economic Methodology - - - Economic Methodology
    • C63 - Mathematical and Quantitative Methods - - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling - - - Computational Techniques
    • C65 - Mathematical and Quantitative Methods - - Mathematical Methods; Programming Models; Mathematical and Simulation Modeling - - - Miscellaneous Mathematical Tools

    Statistics

    Access and download statistics

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:nbr:nberwo:24602. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: the person in charge (email available below). General contact details of provider: https://edirc.repec.org/data/nberrus.html .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.