Slaughtering Competition Problems with Quantifier Elimination (2021)

(grossack.site)

46 points by todsacerdoti8 hours ago

1 comments