A short proof for the open quadrant problem
- Fernando, J.F.
- Ueno, C.
Revista:
Journal of Symbolic Computation
ISSN: 0747-7171
Año de publicación: 2017
Volumen: 79
Páginas: 57-64
Tipo: Artículo