Antes de la llegada de la computadora a nuestras vidas, los matemáticos “arrastraban el lápiz” continuamente, es decir, las demostraciones se buscaban dando argumentos, deduciendo, induciendo en algunos casos, etcétera. Hoy en día la computadora la usan los matemáticos para ayudarse a probar teoremas o conjeturas no resueltas antes. Una de ellas, por ejemplo, es […]