Este artículo explora la accesibilidad de las computaciones simbólicas, como el uso del entorno Wolfram Mathematica, para promover el cambio de la experimentación informal a las justificaciones matemáticas formales.