Computing with Tarski formulas and semi-algebraic sets in a web browser
| Autor: | Kovács, Zoltán, Brown, Christopher, Recio, Tomás, Vajda, Róbert |
|---|---|
| Zdroj: | In Journal of Symbolic Computation January-February 2024 120 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Kovács, Zoltán, Brown, Christopher, Recio, Tomás, Vajda, Róbert |
|---|---|
| Zdroj: | In Journal of Symbolic Computation January-February 2024 120 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect