Thirty Five Years of Automating Mathematics by Fairouz D. Kamareddine & Fairouz Kamareddine