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