2018-04-25から1日間の記事一覧

QEPCADのインストールと簡単な使い方

QEPCADは量化子除去(QE, Quantifier Elimination)のためのアカデミックツールで、作者のサイト QEPCAD - Quantifier Elimination by Cylindrical Algebraic Decomposition で公開されています。インストールのために自前ビルドが必要な上に、サイトの案内 Do…