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

Casey Mulligan, James H. Davenport, Matthew England

    Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

    12 Citations (Scopus)
    30 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics'. Together they form a unique fingerprint.

    Computer Science

    Economics, Econometrics and Finance

    Mathematics

    Psychology