使い方は簡単で

　まずReduce本体（windows版 http://sourceforge.net/projects/reduce-algebra/files/reduce-windows32-20101007.zip/download）をダウンロード，展開して出来たフォルダーにあるreduce.exeをダブルクリックすると，Reduce (Free CSL version)が起動します．あとは
load_package redlog;rlset r;
と打ち込み，エンターで準備完了．先述の例なら
rlqe(ex(x,x^2+a*x+b=0 and x>0));
と入力すれば結果が得られます．