@article{RACSAM_2004_2004_1_a3, author = {Buchberger, Bruno}, title = {Hacia la s{\'\i}ntesis autom\'atica de un algoritmo de bases de {Gr\"obner.}}, journal = {Revista de la Real Academia de Ciencias Exactas, F{\'\i}sicas y Naturales. Matem\'aticas}, pages = {65-75}, publisher = {mathdoc}, volume = {98}, number = {1}, year = {2004}, language = {en}, url = {http://geodesic.mathdoc.fr/item/RACSAM_2004_2004_1_a3/} }