Non-Linear Real Arithmetic Benchmarks Derived from Automated Reasoning in Economics

14 Pages Posted: 14 May 2018

See all articles by Casey B. Mulligan

Casey B. Mulligan

University of Chicago; National Bureau of Economic Research (NBER)

Russell Bradford

University of Bath

James H. Davenport

University of Bath - School of Mathematical Sciences

Matthew England

Coventry University

Zak Tonks

University of Bath

Date Written: May 2018

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.

Institutional subscribers to the NBER working paper series, and residents of developing countries may download this paper without additional charge at www.nber.org.

Suggested Citation

Mulligan, Casey B. and Bradford, Russell and Davenport, James H. and England, Matthew and Tonks, Zak, Non-Linear Real Arithmetic Benchmarks Derived from Automated Reasoning in Economics (May 2018). NBER Working Paper No. w24602. Available at SSRN: https://ssrn.com/abstract=3177959

Casey B. Mulligan (Contact Author)

University of Chicago ( email )

1126 East 59th Street
Chicago, IL 60637
United States
773-702-9017 (Phone)
773-702-8490 (Fax)

National Bureau of Economic Research (NBER)

1050 Massachusetts Avenue
Cambridge, MA 02138
United States

Russell Bradford

University of Bath

Claverton Down
Bath, BA2 7AY
United Kingdom

James H. Davenport

University of Bath - School of Mathematical Sciences ( email )

Bath, BA2 7AY
United Kingdom

Matthew England

Coventry University

Priory Street
Coventry, CV1 5FB
United Kingdom

Zak Tonks

University of Bath

Claverton Down
Bath, BA2 7AY
United Kingdom

Register to save articles to
your library

Register

Paper statistics

Downloads
3
Abstract Views
53
PlumX Metrics