Colin Soleim ’14 gave a talk on April 4 at Westminster College as part of the Allegheny Mountain Section of the Mathematical Association of America spring meeting. His talk, “Introduction to automated theorem proving using propositional logic and resolution,” was based on his senior comprehensive project, under the direction of Professor of Mathematics Tamara Lakins.
May 6th 2014