The Legacy of a Great Researcher

TitleThe Legacy of a Great Researcher
Publication TypeBook Chapter
Year of Publication2012
AuthorsWos, L
Book TitleAutomated Reasoning and Mathematics: Essays in Memory of William McCune
PublisherSpringer-Verlag
Other NumbersANL/MCS-P4009-1212
Abstract

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.

PDFhttp://www.mcs.anl.gov/papers/P4009-1212.pdf