Editorial: The Integration of Automated Reasoning and Computer Algebra Systems