0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Formalization of Complex Analysis and Matrix Theory (Hardcover, 1st ed. 2020) Loot Price: R3,966
Discovery Miles 39 660
Formalization of Complex Analysis and Matrix Theory (Hardcover, 1st ed. 2020): Zhiping Shi, Yong Guan, Ximeng Li

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

Zhiping Shi, Yong Guan, Ximeng Li

 (sign in to rate)
Loot Price R3,966 Discovery Miles 39 660 | Repayment Terms: R372 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

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 2020
First published: 2020
Authors: Zhiping Shi • Yong Guan • Ximeng Li
Dimensions: 235 x 155mm (L x W)
Format: Hardcover
Pages: 168
Edition: 1st ed. 2020
ISBN-13: 978-981-15-7260-9
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
Promotions
LSN: 981-15-7260-7
Barcode: 9789811572609

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!

You might also like..

Statistical Physics, Optimization…
Florent Krzakala, Federico Ricci Tersenghi, … Hardcover R2,584 Discovery Miles 25 840
Introduction to 3+1 Numerical Relativity
Miguel Alcubierre Hardcover R5,171 Discovery Miles 51 710
Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R3,215 Discovery Miles 32 150
Concentration Inequalities - A…
Stephane Boucheron, Gabor Lugosi, … Hardcover R5,465 Discovery Miles 54 650
Computable Economics - The Arne Ryde…
K. Velupillai Hardcover R5,723 Discovery Miles 57 230
Stochastic Methods in Neuroscience
Carlo Laing, Gabriel J. Lord Hardcover R4,174 Discovery Miles 41 740
Discrete and Combinatorial Mathematics…
Ralph Grimaldi Paperback R2,537 Discovery Miles 25 370
Forbidden Configurations in Discrete…
David Eppstein Hardcover R2,925 Discovery Miles 29 250
Machine Learning with Quantum Computers
Maria Schuld, Francesco Petruccione Hardcover R3,839 Discovery Miles 38 390
Modeling and Simulating Complex Business…
Zoumpolia Dikopoulou Hardcover R3,794 Discovery Miles 37 940
Numerical Geometry, Grid Generation and…
Vladimir A. Garanzha, Lennard Kamenski, … Hardcover R6,719 Discovery Miles 67 190
Techniques for Searching, Parsing, and…
Alberto Pettorossi Hardcover R2,833 Discovery Miles 28 330

See more

Partners