Resumen: La teoría de Bases de Gröbner se desarrolló en los años 60 junto con el algoritmo de Buchberger teniendo un gran impacto en el álgebra computacional. Esto ha hecho posible el cálculo eficiente de ecuaciones polinómicas permitiendo investigar complicados ejemplos. Es por esto que las bases de Gröbner tienen multitud de aplicaciones en campos como la criptografía, la teoría de grafos, la robótica, la resolución de sistemas de ecuaciones polinómicas,... Entre todas estas aplicaciones nos vamos a centrar en la resolución de sistemas de ecuaciones con polinomios diferenciales. El objetivo de este trabajo es desarrollar la teoría de las bases de Gröbner para llegar a resolver ecuaciones polinómicas y sistemas de ecuaciones diferenciales polinómicas tanto de manera teórica como realizando un programa en Sage que permita su resolución. Para ello este trabajo está estructurado en cuatro capítulos: En el capítulo 1 presentamos definiciones que nos permiten introducir las bases de Gröbner. En el capítulo 2 se introduce el concepto de las bases de Gröbner y el algoritmo de Buchberger que permite calcularlas. En el capítulo 3 se extienden los conceptos aprendidos en los capítulos anteriores a anillos diferenciales, explicando un método equivalente al algoritmo de Buchberger llamado proceso de reducción. En el capítulo 4 se realiza un ejemplo que ilustra la teoría anterior. Para su resolución se ha implementado en Sage una serie de programas que facilitan su resolución que se muestran en el anexo.