Automated Reasoning and Mathematics