Design of a Superconducting Magnet for Trapping Antihydrogen Atoms at CERN | IEEE Journals & Magazine | IEEE Xplore