Autoría: Jesús Araujo Gómez; P.V. Bünau; J. D. Mitchell; M. Neunhöffer
Fuente: Journal of symbolic computation
Editorial: Elsevier
Año de publicación: 2010
Tipo de publicación: Artículo de Revista
DOI: 10.1016/j.jsc.2009.10.001
ISSN: 0747-7171,1095-855X