Formalization of Complex Analysis and Matrix Theory
Ximeng Li, Yong Guan, Zhiping Shi
Springer Verlag, Singapore, 2021
158,95 €On orderDelivery: 2-3 weeks
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 Fourier transformation and its discrete counterpart, matrices and their transformation, inner product spaces, and function matrices.
- ISBN-13
- 9789811572630
- ISBN-10
- 9811572631
- Publisher
- Springer Verlag, Singapore
- Year
- 2021
- Publication date
- 2021-08-12
- Pages
- 168
- Dimensions
- 235x155x