Formalization of Complex Analysis and Matrix Theory /

Formalization of Complex Analysis and Matrix Theory /

Show other versions (3)

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...

Full description

Bibliographic Details
Main Authors: Shi, Zhiping (Author, http://id.loc.gov/vocabulary/relators/aut), Guan, Yong (http://id.loc.gov/vocabulary/relators/aut), Li, Ximeng (http://id.loc.gov/vocabulary/relators/aut)
Corporate Author: SpringerLink (Online service)
Format: Book
Language:English
Published: Singapore : Springer Singapore : Imprint: Springer, 2020
Edition:1st ed. 2020
Subjects:
Applied mathematics
Computer science-Mathematics
Engineering mathematics
Applications of Mathematics
Mathematical and Computational Engineering
Mathematics of Computing
Electronic books

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items