William McCune
Jump to navigation
Jump to search
![]() | You can help expand this article with text translated from the corresponding article in German. (March 2024) Click [show] for important translation instructions.
|
William Walker McCune | |
---|---|
Born | December 17, 1953 |
Died | May 2, 2011 | (aged 57)
Nationality | American |
Known for | Otter, Mace4, Prover9, Robbins conjecture |
Scientific career | |
Fields | Computer technology |
Institutions | University of New Mexico |
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.
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]
References
- ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 12 November 2018.
- ^ Bonacina, Maria Paola; Stickel, Mark, eds. (2013). Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. LNAI. Vol. 7788. Springer. doi:10.1007/978-3-642-36675-8. ISBN 978-3-642-36674-1. S2CID 39308241.
External links
Categories:
- Articles with short description
- Short description is different from Wikidata
- Biography articles needing translation from German Wikipedia
- Articles with hCards
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with KBR identifiers
- Articles with LCCN identifiers
- Articles with NTA identifiers
- Articles with DBLP identifiers
- Articles with SUDOC identifiers
- 2011 deaths
- 1953 births
- American computer scientists