A two-part tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Meets 1-2:30 pm each day in Room 207A. Associated slides: first day […]

Please join us at the Mathematical Institutes Open House reception to learn about the latest programs and workshops being held by a number of institutions. Hope to see you there!