Cómo funciona un solucionador de ecuaciones algebraicas paso a paso (incluyendo código fuente)

Socratic [iOS] es una app cuya finalidad es resolver los deberes de los estudiantes – lo cual incluye ecuaciones algebraicas, historia, inglés, economía y otras. Antes de enviar a los jovenzuelos de la casa a que se lancen a por ella de cabeza para usarla con sus problemas matemáticos –su aplicación más directa– hay que explicar que lo interesante no es tanto la app en sí como el cómo funciona. Su misión es explicar cómo se resuelven los problemas, no tanto dar la solución. De modo que lo que buscan es dar buenas explicaciones.