A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets.
Zoltán KovácsChristopher W. BrownTomás RecioRóbert VajdaPublished in: SYNASC (2022)
Keyphrases
- website
- web applications
- web scale
- web information
- web pages
- horn clauses
- social computing
- web information retrieval
- information sources
- web data
- linked data
- web content
- web resources
- web search
- search engine
- database
- user experience
- information resources
- user generated content
- information space
- digital libraries
- web services
- learning algorithm
- neural network