Author of the publication

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

, , , , and . SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 48. CEUR-WS.org, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Transitional Dynamics in Two-Sector Models of Endogenous Growth, and . The Quarterly Journal of Economics, 108 (3): 739-73 (August 1993)Extensive Margins and the Demand for Money at Low Interest Rates, and . Journal of Political Economy, 108 (5): 961--991 (275 10 2000)doi: 10.1086/317676.Capital, Interest, and Aggregate Intertemporal Substitution. NBER Working Papers, 9373. National Bureau of Economic Research, Inc, (December 2002)Measuring aggregate human capital, and . NBER working paper series Nat. Bureau of Economic Research, Cambridge, Mass., (1995)TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics., , and . ICMS, volume 10931 of Lecture Notes in Computer Science, page 369-378. Springer, (2018)Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics., , , , and . SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 48. CEUR-WS.org, (2018)Datset of automated economic reasoning problems for QE / SMT., , , , and . (April 2018)The Endogenous Determination of Time Preference, and . The Quarterly Journal of Economics, 112 (3): 729-58 (1997)available at http://ideas.repec.org/a/tpr/qjecon/v112y1997i3p729-58.html.A labor-income-based measure of the value of human capital, and . NBER working paper series Nat. Bureau of Economic Research, Cambridge, Mass., (1995)