Thirty Five Years of Automating Mathematics