Real representation theory, quaternionic geometry and non-commutative geometry, applications of symbolic and computer algebra
