Using some examples from Ramsey theory, this article shows how to use Mathematica‘s Boolean computational capability. Introduction Mathematica‘s industrial-strength Boolean computation capability is not used as often as it should be. There probably are several reasons for this lack of use, but it is our view that a primary reason is lack of experience in … Continue reading Using Boolean Computation to Solve Some Problems from Ramsey Theory