Dr. Reza Atkhtar, Miami University: "Quasigroups, generalized associativity, and automated theorem-proving"

Please join the Wright State Department of Mathematics and Statistics this Friday afternoon as Dr. Reza Akhtar of the University of Dayton presents the talk “Quasigroups, generalized associativity, and automated theorem-proving”.

 

The talk is at 3:00 p.m. in Room 224 Mathematical and Microbiological Sciences Building, and will be preceded by a “Meet’n’Greet” with Dr. Akhtar at 2:30 p.m. in Room 222 Mathematical and Microbiological Sciences Building.