Formalization of complex analysis and matrix theory - Shi, Zhiping; Guan, Yong; Li, Ximeng (Springer, 2020)
Keywords: Applications of Mathematics; Mathematical and Computational Engineering; Mathematics of Computing; Applied mathematics; Engineering mathematics; Computer science—Mathematics