Formalization of Complex Analysis and Matrix Theory
de Zhiping Shi, Yong Guan, Ximeng Li
Ediciones (2)
- Formalization of Complex Analysis and Matrix Theory (2021)
Springer Singapore Pte. Limited · inglés · ISBN 9789811572630
- Formalization of Complex Analysis and Matrix Theory (2020)
Springer Singapore Pte. Limited · inglés · ISBN 9789811572609