Formalization of Complex Analysis and Matrix Theory / Zhiping Shi, Yong Guan, Ximeng Li

• Autore: Shi, Zhiping
• Pubblicazione: Singapore, : Springer ; Beijing, : Tsinghua University, 2020
• Titolo uniforme: Formalization of Complex Analysis and Matrix Theory
• Descrizione fisica: x, 168 p. : ill. ; 24 cm
• Soggetto topico: 68-XX - Computer science [MSC 2020]; 15-XX - Linear and multilinear algebra; matrix theory [MSC 2020]; 30-XX - Functions of a complex variable [MSC 2020]; 68V20 - Formalization of mathematics in connection with theorem provers [MSC 2020]
• Soggetto non controllato: Algebraic Systems; Formal Verification; Formalization of Complex Analysis; Formalization of Mathematical Theories; Formalization of Matrix Theory; Fourier analysis; Function Matrices; Gauge Integration Inner-product Spaces; Higher Order Logic; Interactive Theorem Provers; Interactive Theorem Proving; Mechanization of Mathematical Theories; Proof Assistants
• Altri autori: Guan, Yong Li, Ximeng
• Titolo autorizzato: Formalization of Complex Analysis and Matrix Theory
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0250134
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-981-15-7261-6