Short Talks by Postdoctoral Members Mechanized reasoning in mathematics Date & Time September 29, 2017 | 11:00am – 11:15am Speakers Kuen-Bang Hou (Favonia) Affiliation Member, School of Mathematics Event Series Postdoctoral talks - math Categories Mathematics Academic Video Mechanized reasoning in mathematics Tags Postdoctoral Short Talks 2017-18
