Vol-2188⫷ Vol-2189 ⫸Vol-2190
urn:nbn:de:0074-2189-0


Vol-2189/paper9⫷Vol-2189/paper2⫸Vol-2189/paper6
James H. DavenportMatthew England 0001Zak TonksCasey B. MulliganRussell J. Bradford

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