LEADER 03289nam  22005655  450 
001 996418259103316
005 20200810135051.0
010   $a981-15-7261-5
024 7 $a10.1007/978-981-15-7261-6
035   $a(CKB)4100000011384261
035   $a(DE-He213)978-981-15-7261-6
035   $a(MiAaPQ)EBC6299297
035   $a(PPN)250213699
035   $a(EXLCZ)994100000011384261
100   $a20200810d2020      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormalization of Complex Analysis and Matrix Theory$b[electronic resource] /$fby Zhiping Shi, Yong Guan, Ximeng Li
205   $a1st ed. 2020.
210  1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2020.
215   $a1 online resource (X, 168 p. 357 illus.) 
311   $a981-15-7260-7 
327   $aIntroduction -- Algebraic Systems -- Complex Numbers -- Gauge Integration -- FourierTransformation -- Discrete Fourier Transformation -- Matrices.
330   $aThis 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.
606   $aApplied mathematics
606   $aEngineering mathematics
606   $aComputer science?Mathematics
606   $aApplications of Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M13003
606   $aMathematical and Computational Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/T11006
606   $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001
615  0$aApplied mathematics.
615  0$aEngineering mathematics.
615  0$aComputer science?Mathematics.
615 14$aApplications of Mathematics.
615 24$aMathematical and Computational Engineering.
615 24$aMathematics of Computing.
676   $a515
700   $aShi$b Zhiping$4aut$4http://id.loc.gov/vocabulary/relators/aut$01005287
702   $aGuan$b Yong$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aLi$b Ximeng$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996418259103316
996   $aFormalization of Complex Analysis and Matrix Theory$92311008
997   $aUNISA