Semialgebraic Prover Project 2003/2004
These pages are devoted to the project of
developing a first-order theorem prover
based on semialgebraic proof systems.
Parts of this project were funded
Intel Corporation (grant CRDF GAP RM0-1373-ST-03)
the U.S. Civilian Research & Development
Foundation for the Independent States of the Former Soviet Union
(grant CRDF CGP RM1-2409-ST-02).
The first report on the semialgebraic prover
is available as PDMI preprint 9/2004.
The source code distribution:
(includes a precompiled static binary for linux-i686 architecture).