Zak Tonks

University of Bath

Claverton Down

Bath, BA2 7AY

United Kingdom

SCHOLARLY PAPERS

1

DOWNLOADS

3

SSRN CITATIONS

0

CROSSREF CITATIONS

0

Scholarly Papers (1)

1.

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

NBER Working Paper No. w24602
Number of pages: 14 Posted: 14 May 2018
University of Chicago, University of Bath, University of Bath - School of Mathematical Sciences, Coventry University and University of Bath
Downloads 3 (630,895)
  • Add to Cart

Abstract:

Loading...