LEADER 02451nam0 22005413i 450 001 VAN00250134 005 20240806101422.177 017 70$2N$a9789811572616 100 $a20220913d2020 |0itac50 ba 101 $aeng 102 $aSG 105 $a|||| ||||| 200 1 $aFormalization of Complex Analysis and Matrix Theory$fZhiping Shi, Yong Guan, Ximeng Li 210 $aSingapore$cSpringer ; Beijing$cTsinghua University$d2020 215 $ax, 168 p.$cill.$d24 cm 500 1$3VAN00250135$aFormalization of Complex Analysis and Matrix Theory$92909535 606 $a15-XX$xLinear and multilinear algebra; matrix theory [MSC 2020]$3VANC020607$2MF 606 $a30-XX$xFunctions of a complex variable [MSC 2020]$3VANC020785$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68V20$xFormalization of mathematics in connection with theorem provers [MSC 2020]$3VANC037165$2MF 610 $aAlgebraic Systems$9KW:K 610 $aFormal Verification$9KW:K 610 $aFormalization of Complex Analysis$9KW:K 610 $aFormalization of Mathematical Theories$9KW:K 610 $aFormalization of Matrix Theory$9KW:K 610 $aFourier analysis$9KW:K 610 $aFunction Matrices$9KW:K 610 $aGauge Integration Inner-product Spaces$9KW:K 610 $aHigher Order Logic$9KW:K 610 $aInteractive Theorem Provers$9KW:K 610 $aInteractive Theorem Proving$9KW:K 610 $aMechanization of Mathematical Theories$9KW:K 610 $aProof Assistants$9KW:K 620 $aSG$dSingapore$3VANL000061 620 $dBeijing$3VANL001586 700 1$aShi$bZhiping$3VANV204421$01005287 701 1$aGuan$bYong$3VANV198873$01213863 701 1$aLi$bXimeng$3VANV204422$01254932 712 $aSpringer $3VANV108073$4650 712 $aTsinghua university$3VANV114356$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttp://doi.org/10.1007/978-981-15-7261-6$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00250134 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 4954 $e08eMF4954 20220913 996 $aFormalization of Complex Analysis and Matrix Theory$92909535 997 $aUNICAMPANIA