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 ref cite web title Prover9.org url http www.prover9.org ref was an United States 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 theorem prover Otter , Prover9 , and Mace4 automated reasoning systems, and the automated proof of the Robbins conjecture using the EQP theorem prover. References 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
replaced by Prover9 theorem prover Prover9 , which is paired with Mace4 . SETHEO is a high performance ... Last update Author Prover9 Mace4 GPLv2 No Yes Yes v05 11 2009 William McCune Argonne National Laboratory ... more details
Encyclopedia
top
