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

  1. Kovacs, Z.
  2. Brown, C.W.
  3. Recio, T.
  4. Vajda, R.
Proceedings:
Proceedings - 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2022

ISBN: 9781665465458

Year of publication: 2022

Pages: 59-62

Type: Conference paper

DOI: 10.1109/SYNASC57785.2022.00019 GOOGLE SCHOLAR
Data source: Scopus