@misc{https://doi.org/10.5281/zenodo.1913734,
doi = {10.5281/ZENODO.1913734},
url = {https://zenodo.org/record/1913734},
author = {Kaluba,
Marek and Nowak,
Piotr W. and Ozawa,
Narutaka},
keywords = {Aut(F_5),
property (T),
Laplace operator,
spectral gap,
sum of squares,
semidefinite optimization},
title = {An approximation of the spectral gap for the Laplace operator on SAut(F₅)},
publisher = {Zenodo},
year = {2018},
copyright = {Creative Commons Attribution Share Alike 4.0 International} }