GTM-MML4VXJ
Skip to main content

English

Japan

SyNRAC

最終更新日 2016年10月14日

概要

SyNRAC

SyNRACは、一階述語論理式から限量記号(∃,∀)を取り除く限量記号消去(quantifier elimination)の計算ソフトウェアです。SyNRACは、数式処理システムMapleで動作するソフトウェアです。

SyNRACを起動するには、Mapleがインストールされた環境で、ダウンロードしたファイルに含まれるMapleワークシートsynrac_start.mwをダブルクリックしてください。ワークシートsynrac_start.mw中に書いてある例を参考にSyNRACをご利用ください。

ダウンロード