Several fields of mathematics have developed in total isolation, using their own 'undecipherable' coded languages. Mathematicians now present 'big algebras,' a two-way mathematical 'dictionary' ...
This paper is a case study of the teaching of an undergraduate abstract algebra course, in particular the way the instructor presented proofs. It describes a framework for proof writing based on ...