Web Directory

    Top: Science: Math: Algebra:

 

Robbins Algebras Are Boolean

  Link Details for: Robbins Algebras Are Boolean
Link Title: Robbins Algebras Are Boolean Open in a new window
Link URL: http://www.cs.unm.edu/~mccune/papers/robbins/
Link Details: A web text by William McCune describing the solution of this problem by a theorem-proving program, with input files and the proofs.
Category: Top : Science : Math : Algebra
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Robbins Algebras Are Boolean