William McCune
From Wikipedia, the free encyclopedia
William McCune (December 1953 – May 2011)[1] was an American computer scientist working in the fields of Automated reasoning, Algebra, Logic, and Formal Methods. 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.
[edit] References
- ^ "Prover9.org". http://www.prover9.org.
[edit] External links
| Persondata |
| Name |
McCune, William Walker |
| Alternative names |
McCune, Bill |
| Short description |
Computer scientist |
| Date of birth |
Dec 1953 |
| Place of birth |
|
| Date of death |
May 2011 |
| Place of death |
|
