Formalization of Complex Analysis and Matrix Theory

Download or Read eBook Formalization of Complex Analysis and Matrix Theory PDF written by Zhiping Shi and published by Springer Nature. This book was released on 2020-08-10 with total page 172 pages. Available in PDF, EPUB and Kindle.
Formalization of Complex Analysis and Matrix Theory
Author :
Publisher : Springer Nature
Total Pages : 172
Release :
ISBN-10 : 9789811572616
ISBN-13 : 9811572615
Rating : 4/5 (16 Downloads)

Book Synopsis Formalization of Complex Analysis and Matrix Theory by : Zhiping Shi

Book excerpt: 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.


Formalization of Complex Analysis and Matrix Theory Related Books

Formalization of Complex Analysis and Matrix Theory
Language: en
Pages: 172
Authors: Zhiping Shi
Categories: Mathematics
Type: BOOK - Published: 2020-08-10 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory, covering topics such as algebraic systems, compl
Theorem Proving in Higher Order Logics
Language: en
Pages: 418
Authors: Joe Hurd
Categories: Computers
Type: BOOK - Published: 2005-08-08 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2005, held in Oxford, UK,
Theorizing Teaching and Learning in Asia and Europe
Language: en
Pages: 344
Authors: John Chi-Kin Lee
Categories: Education
Type: BOOK - Published: 2017-03-27 - Publisher: Taylor & Francis

DOWNLOAD EBOOK

There has been much debate in recent times between the Anglo American tradition of curriculum studies and the Continental and North European tradition of didact
NASA Formal Methods
Language: en
Pages: 504
Authors: Guillaume Brat
Categories: Computers
Type: BOOK - Published: 2013-05-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013.
Formal Methods and Software Engineering
Language: en
Pages: 509
Authors: Zhenhua Duan
Categories: Computers
Type: BOOK - Published: 2017-10-13 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November