C. Mulligan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

M. England
8 publications
J. H. Davenport
7 publications
R. Bradford
3 publications
Z. Tonks
1 publication

research

∙ 06/28/2018

TheoryGuru: A Mathematica Package to apply Quantifier Elimination

We consider the use of Quantifier Elimination (QE) technology for automa...

0 C. Mulligan, et al. ∙

research

∙ 06/28/2018

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

We consider problems originating in economics that may be solved automat...

0 C. Mulligan, et al. ∙