A short proof for the open quadrant problem
- Fernando, J.F.
- Ueno, C.
Zeitschrift:
Journal of Symbolic Computation
ISSN: 0747-7171
Datum der Publikation: 2017
Ausgabe: 79
Seiten: 57-64
Art: Artikel