Department of Mathematics
Server

It is well-known that automated reasoning tools have been widely used in many areas such as lattice theory, loop algebras, group theory and ring theory. Recently, R. Padmanabhan and I used the automated reasoning tool Prover9/Mace4 to prove some well-known commutativity theorems in ring theory, and also discover some new theorems.