PPT Slide

1996: EQP proves that

Robbin’s Algebras are all boolean

[An Argonne lab program] has come up with a major mathematical

proof that would have been called creative if a human had thought of it.

-New York Times, December, 1996