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