1 电子书 Zhiping Shi
Zhiping Shi & Yong Guan: Formalization of Complex Analysis and Matrix Theory
This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory, covering topics such as algebraic systems, complex numbers, gauge integration, the Four …
PDF
英语
€139.09
