Formalization of Complex Analysis and Matrix Theory Dublin Core Títol Formalization of Complex Analysis and Matrix Theory Autor Zhiping Shi, Yong Guan, Ximeng Li Matèria Mathematics and Statistics Editor Springer Nature Data de publicació 2020 Identificador 9789811572616 Font https://doi.org/10.1007/978-981-15-7261-6 Etiquetes Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →