Abstract
What part does algebra play in representing the real
world abstractly? How can algebra be used to solve
hard mathematical problems with the aid of modern
computing technology? We provide answers to these
questions that rely on the theory of matrix groups
and new methods for handling matrix groups in a
computer.