Navegar

Colección

Datos Estadísticas

Lista de

Sabia, Juan Vicente Rafael
18
Journal of Pure and Applied Algebra
2
"An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs" (1998) Puddu, S.; Sabia, J. Journal of Pure and Applied Algebra. 129(2):173-200
"Effective equidimensional decomposition of affine varieties" (2002) Jeronimo, G.; Sabia, J. Journal of Pure and Applied Algebra. 169(2-3):229-248