Formalization of Complex Analysis and Matrix Theory

Zhiping Shi, Yong Guan, Ximeng Li

Formalization of Complex Analysis and Matrix Theory - Springer Springer 2020

9789811572616

EBOOK