Statistics of Voting with Second Order Quantifier Elimination

Contact ORBilu