William McCune
From Wikipedia, the free encyclopedia
| William McCune | |
| Residence | USA |
|---|---|
| Nationality | American |
| Fields | Computer Technology |
| Institutions | University of New Mexico |
| Known for | Otter, Mace, Prover9, Robbins conjecture |
William McCune is an American computer scientist working in the fields of Automated reasoning, Algebra, Logic, and Formal Methods. He is best known for the development of the Otter (theorem prover), Prover9, and Mace automated reasoning systems, and the automated proof of the Robbins conjecture.
 |
This biographical article about a scientist is a stub. You can help Wikipedia by expanding it. |
