Japan
ホーム
最終更新日 2011年11月28日
SyNRACは、一階述語論理式から限量記号（∃，∀）を取り除く限量記号消去（quantifier elimination）の計算ソフトウェアです。SyNRACは、数式処理システムMapleで動作するソフトウェアです。
SyNRACを起動するには、Mapleがインストールされた環境で、ダウンロードしたファイルに含まれるMapleワークシートsynrac_start.mwをダブルクリックしてください。ワークシートsynrac_start.mw中に書いてある例を参考にSyNRACをご利用ください。
ページの先頭へ
