Computing with Tarski formulas and semi-algebraic sets in a web browser
- Kovács, Z.
- Brown, C.
- Recio, T.
- Vajda, R.
Revista:
Journal of Symbolic Computation
ISSN: 0747-7171
Año de publicación: 2024
Volumen: 120
Tipo: Artículo