This book covers computational group theory (CGT), an active, rapidly expanding field at the interface of mathematics and computer science. It is the first systematic effort to establish computing with infinite matrix groups on the same footing as the rest of CGT. The book emphasizes practical methods based on results of linear group theory, solutions of fundamental algorithmic problems, and provision of software. Additionally, the book sets out a research program to make further progress in the area.