Homotopy computation for spheres