Real Quantifier Elimination in the Classroom
- Kovacs, Z.
- Recio, T.
Konferenzberichte:
Proceedings of the Asian Technology Conference in Mathematics
ISSN: 1940-4204
Datum der Publikation: 2022
Seiten: 77-90
Art: Konferenz-Beitrag