Si usted toma una mirada en WolframAlpha, u otro sistema algebraico de computadora, usted encontrará que es capaz de hacer manipulación simbólica como verdaderos seres humanos.
Por ejemplo, si escribe en una integral, puede mostrar paso a paso sobre cómo resolver la integración.
¿Cuáles son los algoritmos detrás de todo esto?