Automated Reasoning and Mathematics: Essays in Memory of William W. McCune