Up: Student Seminars for 1999
Top: Math Department Student Seminars

How to do your homework in less than a minute(applying automated reasoning to abstract algebra)

by

Professor Joan Hart
Union College

January 29, 1999
4:00 pm
Bailey Hall 201

Refreshments at 3:45
Math Department Common Room


Abstract:

You know how to prove basic facts about groups, but it Probably takes you longer than a minute. I'll show you how you can get your computer to prove some of these in less than a minute (less than a second, actually), so you can have more time for skiing. I'll also show you how we have used computers to prove new results in algebra, and point out some open questions you may want to solve with the help of automated reasoning.


For additional information, send e-mail to math@union.edu or call (518) 388-6246.
Up: Student Seminars for 1999
Top: Math Department Student Seminars

[HOME]
Union College Math Department Home Page
Comments to: math@union.edu
Created automatically on: Sat Apr 21 13:11:23 EDT 2018