1: \begin{abstract}

2: We establish a lower bound on the spectral gap of the Laplace operator on special linear groups using conic optimisation. In particular, this provides a constructive (but computer assisted) proof that these groups have Kazhdan property (T). 

3: Software for such optimisation for other finitely presented groups is provided.

4: \end{abstract}

5: