Abstract
We report on successfully porting the Tarski system for computing with Tarski formulas (Boolean combinations of polynomial sign conditions over the real numbers) to Javascript, thereby allowing it to run inside a browser. Tarski is an open-source software package, written in C/C++, that provides operations like formula simplification and quantifier elimination for Tarski formulas. Leveraging the Emscripten C++ to JavaScript/WebAssembly compiler tool, we were able to port Tarski to Javascript and offer it as a module (tarskijs) that can be embedded in other web-based projects. We report on two non-trivial examples of projects that do this. The first is a Tarski terminal (WebTarski) embedded in a webpage and running completely in-browser, thereby making Tarski available to almost anyone. The second is an experimental fork of the well-known dynamic geometry software package GeoGebra that uses tarskijs to provide new features that require real quantifier elimination. The module tarskijs is open source and freely available via GitHub.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
