Casey B. Mulligan

According to our database, Casey B. Mulligan authored at least 6 papers in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Datset of automated economic reasoning problems for QE / SMT.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Dataset, April, 2018

Datset of automated economic reasoning problems for QE / SMT.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Dataset, April, 2018

TheoryGuru: A Mathematica Package to apply Quantifier Elimination.

Casey B. Mulligan, James Harold Davenport, Matthew England

CoRR, 2018

Quantifier Elimination for Reasoning in Economics.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

CoRR, 2018

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

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics.

Casey B. Mulligan, James H. Davenport, Matthew England

Proceedings of the Mathematical Software - ICMS 2018, 2018