Cristina Blanco Gabriela Jeronimo Pablo Solernó Computing generators of the ideal of a smooth affine algebraic variety. 843-872 2004 38 J. Symb. Comput. 1 http://dx.doi.org/10.1016/j.jsc.2004.02.002 db/journals/jsc/jsc38.html#BlancoJS04