Topic: certification

This introduction connects Kazhdan's property T with algebraic spectral gaps for a group Laplacian. Numerical searches for sum-of-squares expressions can suggest proofs, while certification converts approximate solutions into exact mathematical conclusions. Examples include new proofs for integer special linear groups and results for automorphism groups of free groups.