まずReduce本体（windows版 http://sourceforge.net/projects/reduce-algebra/files/reduce-windows32-20101007.zip/download）をダウンロード，展開して出来たフォルダーにあるreduce.exeをダブルクリックすると，Reduce (Free CSL version)が起動します．…

パッケージかといえば，たとえば，a，bが実数のとき x^{2}+a x+b=0 となる正の数 x が存在する という条件を x を用いない形，すなわち a^{2}-4 b≧0 かつ（ a＜0 または b＜0 ） に同値変形することができます．

色々なものがある（数式処理システムの一覧 - Wikipedia）のですが，まずは，永い歴史を持ち，近年フリーとなったReduce（REDUCE (数式処理システム) - Wikipedia）の１階述語論理パッケージであるRedLog（http://redlog.dolzmann.de/）について，その使い方…

CAS（Computer Algebra System 数式処理システム - Wikipedia）について書いていこうと思います．