Magnetic Performance of the Main Superconducting Magnets for the LHC | IEEE Journals & Magazine | IEEE Xplore