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,737
Discovery Miles 37 370
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,737 Discovery Miles 37 370 | Repayment Terms: R350 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,437 Discovery Miles 24 370
Introduction to 3+1 Numerical Relativity
Miguel Alcubierre Hardcover R4,872 Discovery Miles 48 720
Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R3,031 Discovery Miles 30 310
Concentration Inequalities - A…
Stephane Boucheron, Gabor Lugosi, … Hardcover R5,148 Discovery Miles 51 480
Computable Economics - The Arne Ryde…
K. Velupillai Hardcover R5,391 Discovery Miles 53 910
Stochastic Methods in Neuroscience
Carlo Laing, Gabriel J. Lord Hardcover R3,933 Discovery Miles 39 330
Discrete and Combinatorial Mathematics…
Ralph Grimaldi Paperback R2,392 Discovery Miles 23 920
Forbidden Configurations in Discrete…
David Eppstein Hardcover R2,758 Discovery Miles 27 580
Machine Learning with Quantum Computers
Maria Schuld, Francesco Petruccione Hardcover R3,651 Discovery Miles 36 510
Modeling and Simulating Complex Business…
Zoumpolia Dikopoulou Hardcover R3,608 Discovery Miles 36 080
Numerical Geometry, Grid Generation and…
Vladimir A. Garanzha, Lennard Kamenski, … Hardcover R6,387 Discovery Miles 63 870
Techniques for Searching, Parsing, and…
Alberto Pettorossi Hardcover R2,696 Discovery Miles 26 960

See more

Partners