dense-set
commented
7 months ago God this was a great post! You got a new subscriber. :-D
Closed utterances-bot closed 3 months ago
dense-set
commented
7 months ago God this was a great post! You got a new subscriber. :-D
Slaughtering Competition Problems with Quantifier Elimination | Chris Grossack's Blog
Chris Grossack's math blog and professional website.
https://grossack.site/2021/12/22/qe-competition.html