TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. - Casey B. Mulligan; James H. Davenport; Matthew England 001 (ICMS, 2018)

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (SC-Square@FLOC, 2018)

Quantifier Elimination for Reasoning in Economics. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (CoRR, 2018)

TheoryGuru: A Mathematica Package to apply Quantifier Elimination. - Casey B. Mulligan; James Harold Davenport; Matthew England 001 (CoRR, 2018)

Datset of automated economic reasoning problems for QE / SMT. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (Zenodo, 2018)

Datset of automated economic reasoning problems for QE / SMT. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (Zenodo, 2018)