Infobox scientist name William McCune image image size 200px caption William McCune residence USA nationality American field Computer Technology work institution University of New Mexico known for Otter theorem prover Otter , Mace4 , Prover9 , Robbins conjecture William McCune December 1953 May 2011 was an United States 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 theorem prover Otter , Prover9 , and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover. References http www.cs.unm.edu mccune prover9 Prover9 software references External links http www.cs.unm.edu mccune William McCune home page Sources www.prover9.org, http www.cs.unm.edu mccune wwm vita.pdf Persondata Metadata see Wikipedia 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 DEFAULTSORT McCune, William Category 2011 deaths Category 1953 births US scientist stub compu scientist stub ... more details
by Prover9 theorem prover Prover9 , which is paired with Mace4 . SETHEO is a high performance system ... Library Standalone Version Last update Author Prover9 Mace4 GPLv2 No Yes Yes v05 11 2009 William ... more details
Encyclopedia
top
