Discovering Theorems in Abstract Algebra Using the SoftwareGAP
Russell D. Blyth, Julianne G. Rainbolt · PRIMUS · 2010
We describe a method by which students in an abstract algebra course can discover classical theorems before they are stated and proved, with the help of leading questions and the software Groups, Algorithms and Programming (GAP) [1 The GAP Group, GAP—Groups, Algorithms, and Programming, Version 4.4.9; 2006. http://www.gap-system.org (Accessed: 15 February 2010). [Google Scholar]].