Slaughtering Competition Problems with Quantifier Elimination (via virchau13) — discussion

#math