| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN0250134 |
|
|
Autore |
Shi, Zhiping |
|
|
Titolo |
Formalization of Complex Analysis and Matrix Theory / Zhiping Shi, Yong Guan, Ximeng Li |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore, : Springer ; Beijing, : Tsinghua University, 2020 |
|
|
|
|
|
|
|
Titolo uniforme |
Formalization of Complex Analysis and Matrix Theory |
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
|
|
Soggetti |
|
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] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |