準備として
http://www.math.kobe-u.ac.jp/vmkm/2011vm-info/knxm2011-on-vmware-player/index.html
を参考に KNOPPIX/Math 2011 をインストールしておいてください．
このブログでは，その OS 上に最新版の Reduce，QEPCAD B などを導入するスクリプトを提供し，それらを用いた QE (Quantifier Elimination) について改めて解説，考察していきます．
http://www.math.kobe-u.ac.jp/vmkm/2011vm-info/knxm2011-on-vmware-player/index.html
を参考に KNOPPIX/Math 2011 をインストールしておいてください．
このブログでは，その OS 上に最新版の Reduce，QEPCAD B などを導入するスクリプトを提供し，それらを用いた QE (Quantifier Elimination) について改めて解説，考察していきます．