Login / Signup
Computing with Tarski formulas and semi-algebraic sets in a web browser.
Zoltán Kovács
Christopher W. Brown
Tomás Recio
Róbert Vajda
Published in:
J. Symb. Comput. (2024)
Keyphrases
</>
semi algebraic
web browser
spatial databases
arbitrary dimension
web applications
website
web server
user interface
web pages
web content
metadata
web search
data mining
multiresolution
user friendly interface
java applet
java applets