The origins of computation group theory (CGT) date back to the late 19th and early 20th centuries. Since then, the field has flourished, particularly during the

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable grou

This book is a blend of recent developments in theoretical and computational aspects of group theory. It presents the state-of-the-art research topics in differ

Designed as a self-contained account of a number of key algorithmic problems and their solutions for linear algebraic groups, this book combines in one single t

From the winner of the Turing Award and the Abel Prize, an introduction to computational complexity theory, its connections and interactions with mathematics, a