Formalization of Complex Analysis and Matrix Theory

Format:: e-book
Title:: Formalization of Complex Analysis and Matrix Theory
Author:: Shi; Guan, Yong; Li, Ximeng
Language:: English
Publisher:: Springer Singapore 2020
ISBN:: 981-15-7260-7
981-15-7261-5
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000011384261?locale=en