Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formalization of Complex Analysis and Matrix Theory / Zhiping Shi, Yong Guan, Ximeng Li
| Formalization of Complex Analysis and Matrix Theory / Zhiping Shi, Yong Guan, Ximeng Li |
| Autore | Shi, Zhiping |
| Pubbl/distr/stampa | Singapore, : Springer ; Beijing, : Tsinghua University, 2020 |
| Descrizione fisica | x, 168 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Guan, Yong
Li, Ximeng |
| 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 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250134 |
Shi, Zhiping
|
||
| Singapore, : Springer ; Beijing, : Tsinghua University, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Formalization of Complex Analysis and Matrix Theory / Zhiping Shi, Yong Guan, Ximeng Li
| Formalization of Complex Analysis and Matrix Theory / Zhiping Shi, Yong Guan, Ximeng Li |
| Autore | Shi, Zhiping |
| Pubbl/distr/stampa | Singapore, : Springer ; Beijing, : Tsinghua University, 2020 |
| Descrizione fisica | x, 168 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Guan, Yong
Li, Ximeng |
| Soggetto topico |
15-XX - Linear and multilinear algebra; matrix theory [MSC 2020]
30-XX - Functions of a complex variable [MSC 2020] 68-XX - Computer science [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 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00250134 |
|
Shi, Zhiping
|
||
| Singapore, : Springer ; Beijing, : Tsinghua University, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||