Computing with Tarski formulas and semi-algebraic sets in a web browser
- Kovács, Z.
- Brown, C.
- Recio, T.
- Vajda, R.
Journal:
Journal of Symbolic Computation
ISSN: 0747-7171
Year of publication: 2024
Volume: 120
Type: Article