Semialgebraic Prover Project 2003/2004

These pages are devoted to the project of developing a first-order theorem prover based on semialgebraic proof systems.

Sponsors:

Parts of this project were funded by Intel Corporation (grant CRDF GAP RM0-1373-ST-03) and the U.S. Civilian Research & Development Foundation for the Independent States of the Former Soviet Union (grant CRDF CGP RM1-2409-ST-02).

Public resources:

The first report on the semialgebraic prover is available as PDMI preprint 9/2004.

The source code distribution: saprover-v1.0.tar.gz (includes a precompiled static binary for linux-i686 architecture).

[Laboratory] [Institute]