Slaughtering Competition Problems with Quantifier Elimination (2021)

(grossack.site)

61 points | by todsacerdoti 14 hours ago ago

No comments yet.