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.
Colin Soleim ’14 Gives Talk at Mathematical Association of America Meeting
Colin Soleim ’14, Doug Nestor ’14, and Yukihide Nakada ’16 competed in the 74th annual William Lowell Putnam Mathematical Competition on December 7. This competition, a six-hour examination solving 12 extremely difficult mathematics problems, is administered across the country in undergraduate institutions. The team was coached during the fall semester by Assistant Professor of Mathematics Craig Dodge. The team’s hard work paid off and Allegheny College ranked 43 out of the 557 institutions that competed.
Erin Brown ’15 (double major in physics and mathematics) and Neal Shah ’15 (neuroscience) have been recognized by the Barry Goldwater Scholarship and Excellence in Education Program, which provides merit-based awards to college sophomores and juniors interested in a research career in the STEM fields. Erin has received a Goldwater Scholarship, and Neal is an honorable mention this year. Visiting Professor of Religious Studies and History Patrick Jackson, who also serves as the College’s nationally competitive awards advisor, worked with Erin and Neal on their Goldwater applications.
The article “Whitehead graphs and separability in rank two” — authored by John Conant ’12, Nivetha Ramasubramanian ’13, and former assistant professor of mathematics Matt Clay — was accepted for publication by the mathematics journal Involve in December 2012. As described by the publisher, Involve “bridg[es] the gap between the extremes of purely undergraduate-research journals and mainstream research journals, provid[ing] a venue to mathematicians wishing to encourage the creative involvement of students.”
During summer 2011, Professor Clay and Ramasubramanian worked with the computer language C++ and a graphical user interface to incorporate well-known algorithms in a user-friendly way. Programming algorithms, such as Stalling’s algorithm, detected separability between elements of free groups.
In February 2012, Nivetha presented this research at the Regional Phi Mu Epsilon Mathematics Conference at Youngstown State University in Ohio.