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,616
Discovery Miles 36 160
|
|
Formalization of Complex Analysis and Matrix Theory (Hardcover, 1st ed. 2020)
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
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.