Around 1967 Dan Bobrow wrote a program to do algebra problems based on symbols rather than numbers. – Marvin Minsky
