William Walker McCune ha muerto

[GameMaster]

Ha muerto profesor William Walker McCune de la Universidad de Nuevo Mejico USA. William ha sido uno de los responsables del desarrollo de los comprobantes de teoremas; EQP, Otter, prover9 y presento la resolución automática del problema de álgebra de Robbins. Queda esta citación en su memória, nos abandona un gran matematico.

http://www.prover9.org/

< - >
http://www.cs.unm.edu/~mccune/prover9/gui/v05.html