The Legacy of a Great Researcher
|Title||The Legacy of a Great Researcher|
|Publication Type||Book Chapter|
|Year of Publication||2012|
|Book Title||Automated Reasoning and Mathematics: Essays in Memory of William McCune|
This article presents examples of the monumental contributions of Bill McCune to mathematics, logic, computer science, and especially automated reasoning. The examples are presented in the form of short stories and recollections of the author during his long association with Bill. In addition to Bill\'s accomplishments as a researcher, the author provides personal memories giving glimpses into Bill\'s complex personality and his generosity as a collaborator.