Formalization of Complex Analysis and Matrix Theory

DOI10.1007/978-981-15-7261-6zbMath1471.68006OpenAlexW3048394024MaRDI QIDQ5119159

Zhiping Shi, Ximeng Li, Yong Guan

Publication date: 3 September 2020

Full work available at URL: https://doi.org/10.1007/978-981-15-7261-6

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Research exposition (monographs, survey articles) pertaining to functions of a complex variable (30-02) Research exposition (monographs, survey articles) pertaining to linear algebra (15-02) Formalization of mathematics in connection with theorem provers (68V20)

Uses Software

• Isabelle/HOL
• PVS
• Mizar
• HOL
• HOL Light
• Flyspeck

This page was built for publication: Formalization of Complex Analysis and Matrix Theory