A short proof for the open quadrant problem
- Fernando, J.F.
- Ueno, C.
Revista:
Journal of Symbolic Computation
ISSN: 0747-7171
Ano de publicación: 2017
Volume: 79
Páxinas: 57-64
Tipo: Artigo