William McCune

William Walker McCune
Born(1953-12-17)December 17, 1953
DiedMay 2, 2011(2011-05-02) (aged 57)
NationalityAmerican
Known forOtter, Mace4, Prover9, Robbins conjecture
Scientific career
FieldsComputer Technology
InstitutionsUniversity 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. 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

  1. ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 12 November 2018.
  2. ^ Bonacina, Maria Paola; Stickel, Mark, eds. (2013). Automated Reasoning and Mathematics - Essays in Memory of William W. McCune. LNAI. 7788. Springer. doi:10.1007/978-3-642-36675-8. ISBN 978-3-642-36674-1.

External links



This page was last updated at 2019-11-13 12:25 UTC. Update now. View original page.

All our content comes from Wikipedia and under the Creative Commons Attribution-ShareAlike License.


Top

If mathematical, chemical, physical and other formulas are not displayed correctly on this page, please useFirefox or Safari