A Rigorous Condition Number Estimate of an Immersed Finite Element Method. - Saihua Wang; Feng Wang 030; Xuejun Xu (J. Sci. Comput., 2020)