semi-algebraic set の convexity をQEで判定するとか。面白そう。
Lucas Wiman さんが最初に共有した投稿
Amazing the things you can do with computers nowadays! I wasn't aware that any of the QE algorithms were marginally practical for realistic inputs like this. Very cool.
Deciding the convexity of semialgebraic sets