Computer assisted sphere packing in higher dimensions | IEEE Conference Publication | IEEE Xplore