Teoría y algoritmos eficientes para la solución de problemas del Algebra y la Geometría