Zaslat SMS: Stable homotopy groups of spheres : a computer-assisted approach / Stanley O. Kochman.