Casey B. Mulligan

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 5

Top Topics

Prime Implicants

Constraint Databases

Automated Reasoning

Top Venues

Publications

Casey B. Mulligan, James H. Davenport, Matthew England
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. ICMS (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Quantifier Elimination for Reasoning in Economics. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC (2018)
Casey B. Mulligan, James Harold Davenport, Matthew England
TheoryGuru: A Mathematica Package to apply Quantifier Elimination. CoRR (2018)