A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.

Zoltn Kovcs, Christopher W. Brown, Toms Recio, Rbert Vajda

Browse the full SYNASC paper archive.