02448nam0 22005413i 450 VAN025013420230531023106.800N978981157261620220913d2020 |0itac50 baengSG|||| |||||Formalization of Complex Analysis and Matrix TheoryZhiping Shi, Yong Guan, Ximeng LiSingaporeSpringer ; BeijingTsinghua University2020x, 168 p.ill.24 cmVAN0250135Formalization of Complex Analysis and Matrix Theory290953568-XXComputer science [MSC 2020]VANC019670MF15-XXLinear and multilinear algebra; matrix theory [MSC 2020]VANC020607MF30-XXFunctions of a complex variable [MSC 2020]VANC020785MF68V20Formalization of mathematics in connection with theorem provers [MSC 2020]VANC037165MFAlgebraic SystemsKW:KFormal VerificationKW:KFormalization of Complex AnalysisKW:KFormalization of Mathematical TheoriesKW:KFormalization of Matrix TheoryKW:KFourier analysisKW:KFunction MatricesKW:KGauge Integration Inner-product SpacesKW:KHigher Order LogicKW:KInteractive Theorem ProversKW:KInteractive Theorem ProvingKW:KMechanization of Mathematical TheoriesKW:KProof AssistantsKW:KSGSingaporeVANL000061BeijingVANL001586ShiZhipingVANV2044211005287GuanYongVANV1988731213863LiXimengVANV2044221254932Springer <editore>VANV108073650Tsinghua universityVANV114356650ITSOL20240614RICAhttp://doi.org/10.1007/978-981-15-7261-6E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0250134BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4954 08eMF4954 20220913 Formalization of Complex Analysis and Matrix Theory2909535UNICAMPANIA