Considerations on the Finite-Element Simulation of High-Temperature Superconductors for Magnetic Levitation Purposes | IEEE Journals & Magazine | IEEE Xplore