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

**Professor Joan Hart**

Union College

January 29, 1999

4:00 pm

Bailey Hall 201

Refreshments at 3:45

Math Department Common Room

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.

Union College Math Department Home PageComments to: math@union.edu Created automatically on: Tue Oct 23 16:28:27 EDT 2018 |