Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Formalization of Complex Analysis and Matrix Theory : Mathematics and Statistics (R0) - Zhiping Shi

Formalization of Complex Analysis and Matrix Theory

By: Zhiping Shi, Yong Guan, Ximeng Li

eText | 10 August 2020

At a Glance

eText

$219.00

or 4 interest-free payments of $54.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

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

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionMathematicsApplied MathematicsEngineering & TechnologyTechnology in GeneralEngineering in GeneralComputing & I.T.DatabasesData Capture & AnalysisMaths for EngineersComputer ScienceMathematical Theory of Computation
Maths for Computer Scientists

More in Applied Mathematics

Discrete Mathematics - Julian Ting

eBOOK

Discrete Mathematics

eBook

$27.03

Markov Chains : Theory and Applications - C.R. Rao

eBOOK

Markov Chains

Theory and Applications

eBook

RRP $359.04

$323.99

10%
OFF
Grape Explications - Neal D. Hulkower

eBOOK

Grape Explications

eBook

RRP $18.69

$17.99

Mathematics for Engineers - Ritu Shrivastava

eBOOK

Mathematics for Engineers

eBook

$259.99

Pi the Laws of Duality - G. Neal

eBOOK

Pi the Laws of Duality

eBook

$4.99

This product is categorised by