Skip to main content
Feedback to SSRN
Feedback
(required)
Email
(required)
Submit
If you need immediate assistance, call 877-SSRNHelp (877 777 6435) in the United States, or +1 212 448 2500 outside of the United States, 8:30AM to 6:00PM U.S. Eastern, Monday - Friday.
Zak Tonks
University of Bath
Claverton Down
Bath, BA2 7AY
United Kingdom
Learn more about SSRN Profiles
SCHOLARLY PAPERS
1
DOWNLOADS
25
TOTAL CITATIONS
0
Feedback
Scholarly Papers (1)
Sort by:
Paper Title, A-Z
Paper Title, Z-A
Author Name, A-Z
Author Name, Z-A
Date Posted, Ascending
Date Posted, Descending
Downloads, Ascending
Downloads, Descending
Citations, Ascending
Citations, Descending
Actions:
Email selected abstracts
View:
Selected
Original List
All Versions
Hide All Versions
All Abstracts
Hide All Abstracts
(Rank)
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
Last Revised: 23 Mar 2023
Casey B. Mulligan
,
Russell Bradford
,
James H. Davenport
,
Matthew England
and Zak Tonks
University of Chicago, University of Bath, University of Bath - School of Mathematical Sciences, Coventry University and University of Bath
Downloads
25
(972,854)
View PDF
Download
Abstract:
Feedback
