Computing with Tarski formulas and semi-algebraic sets in a web browser
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
6886
Dis Auftri
DIS_ZEITSC_6886
Jahr
2023
Titel
Computing with Tarski formulas and semi-algebraic sets in a web browser
Quelle
-, 102235, https://www.sciencedirect.com/science/article/pii/S0747717123000494
Autoren
