1,842 followers
RT @caseybmulligan: TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics https://t.co/f4zvs0dk4p
RT @caseybmulligan: TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics https://t.co/f4zvs0dk4p
RT @caseybmulligan: TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics https://t.co/f4zvs0dk4p
I love this software.
RT @FelixKubler: Exciting applications of deep theory... https://t.co/3YscjUTS4O