Slaughtering Competition Problems with Quantifier Elimination (2021)

 (grossack.site)

27 points | by todsacerdoti 3 hours ago

1 comments