Formalization of complex analysis and matrix theory - Shi, Zhiping; Guan, Yong; Li, Ximeng (Springer, 2020)