Masahiro Sakai - 2013-02-17T02:05:50+0000 - 更新日時: 2013-02-17T02:05:50+0000

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