Visual Basic Representations An Atlas. - Eugene Plotkin; Andrei Semenov; Nikolai Vavilov (Int. J. Algebra Comput., 1998)

An a3-Proof of Structure Theorems for Chevalley Groups of Types E6 and E7. - Nikolai Vavilov (Int. J. Algebra Comput., 2007)