Slaughtering Competition Problems with Quantifier Elimination (2021)

 (grossack.site)

43 points | by todsacerdoti 6 hours ago

1 comments