GTM-MML4VXJ
Skip to main content

日本語

Japan

SyNRAC

Last modified October 14, 2016

Abstract

SyNRAC

SyNRAC is a software package for quantifier elimination (QE), solving first-order formulas. SyNRAC is a package on a computer algebra system "Maple".

To start SyNRAC, double-click the Maple worksheet icon "synrac_start.mw" included in the downloaded file. Please read the comments written in the Maple worksheet "synrac_start.mw" to use the QE command.

Download