QEPCADは量化子除去(QE, Quantifier Elimination)のためのアカデミックツールで、作者のサイト QEPCAD - Quantifier Elimination by Cylindrical Algebraic Decomposition で公開されています。インストールのために自前ビルドが必要な上に、サイトの案内 Do…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。