|
Department of Mathematics
|
Rings and Modules Seminar
|
|---|
|
|
Department of Mathematics
|
Rings and Modules Seminar
|
|---|
Yang Zhang
zhang39(at)cc(dot)umanitoba(dot)ca
Department of Mathematics
University of Manitoba
Tuesday, October 26, 2010
| Abstract:
This is Part 2 of a pair of talks (Part 1 was given by R. Padmanaban on Oct. 19: Semigroup Laws in Groups). We first introduce how to use Prover9 to prove some well-known commutativity theorems in associative rings, and then discuss some recent works with Dr. Padmanaban regarding commutativity theorems in semirings. |