Cargando…

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 Fourier transformation and its discrete counterpart, matrices and their transformation, inner product spa...

Descripción completa

Detalles Bibliográficos
Autores principales: Shi, Zhiping, Guan, Yong, Li, Ximeng
Lenguaje:eng
Publicado: Springer 2020
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-981-15-7261-6
http://cds.cern.ch/record/2729462

Ejemplares similares