Top Qs
Timeline
Chat
Perspective
William McCune
American computer scientist and logician From Wikipedia, the free encyclopedia
Remove ads
William Walker McCune (December 17, 1953 – May 2, 2011) was an American computer scientist and logician working in the fields of automated reasoning, algebra, logic, and formal methods.
 | You can help expand this article with text translated from the corresponding article in German. (March 2024) Click [show] for important translation instructions.
|
Remove ads
Biography
He was best known for the development of the Otter, Prover9, and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover.
In 2000, McCune received the Herbrand Award for Distinguished Contributions to Automated Reasoning.[1] In 2013, Automated Reasoning and Mathematics - Essays in Memory of William W. McCune was published in his honour.[2]
Remove ads
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads