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

Zoltán Kovács,Christopher W Brown,Tomás Recio,Róbert Vajda

doi:10.1109/synasc57785.2022.00019

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

Zoltán Kovács, Christopher W Brown + Show 2 more

https://doi.org/10.1109/synasc57785.2022.00019

Copy DOI

Publication Date: Sep 1, 2022

Citations: 2

Affiliation: Private University College of Education of the Diocese of Linz, United States Naval Academy, Nebrija University, Johannes Kepler University of Linz

#Dynamic Geometry Software GeoGebra #JavaScript Library + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

We report on successfully porting and making available online Tarski, a system for computing with Tarski formulas (Boolean combinations of polynomial sign conditions over the real numbers). Tarski provides operations like formula simplification and quantifier elimination, and is able to read and write SMT-LIB syntax. The web version of Tarski was created by using the Emscripten C++ to JavaScript/WebAssembly compiler. A terminal-based interpreter is provided via jquery.terminal. Tarski is also available as a JavaScript library. We report on an experimental use in the dynamic geometry software GeoGebra.

Full Text