Albert is an interactive computer system for building nonassociative algebras [2]. In this paper, we suggest certain techniques for using Albert that allow one to posit and test hypotheses e ectively. This process provides a fast way to achieve new results, and interacts nicely with traditional methods. We demonstrate the methodology by proving that any semiprime ring, having characteristic 6= ...
