Computación simbólica y bifurcaciones de sistemas dinámicos