Formalization of Complex Analysis and Matrix Theory (Paperback, 1st ed. 2020)

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. The formalization is performed using the interactive theorem prover HOL4, chiefly developed at the University of Cambridge. Many of the developments presented are now integral parts of the library of this prover. As mathematical developments continue to gain in complexity, sometimes demanding proofs of enormous sizes, formalization has proven to be invaluable in terms of obtaining real confidence in their correctness. This book provides a basis for the computer-aided verification of engineering systems constructed using the principles of complex analysis and matrix theory, as well as building blocks for the formalization of more involved mathematical theories.

General

Imprint:	Springer Verlag, Singapore
Country of origin:	Singapore
Release date:	August 2021
First published:	2020
Authors:	Zhiping Shi • Yong Guan • Ximeng Li
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	168
Edition:	1st ed. 2020
ISBN-13:	978-981-15-7263-0
Languages:	English
Subtitles:	Chinese
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
LSN:	981-15-7263-1
Barcode:	9789811572630

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!