Casey B. Mulligan

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2018

TheoryGuru: A Mathematica Package to apply Quantifier Elimination.

[BibT_eX]

[DOI]

Casey B. Mulligan

James Harold Davenport

Matthew England

CoRR, 2018

Quantifier Elimination for Reasoning in Economics.

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Casey B. Mulligan

James H. Davenport

Matthew England

Proceedings of the Mathematical Software - ICMS 2018, 2018

Casey B. Mulligan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...