Info
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 | ||
| ||
Natural Language Processing for Electronic Design Automation / Mathias Soeken, Rolf Drechsler editors
| Natural Language Processing for Electronic Design Automation / Mathias Soeken, Rolf Drechsler editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | vii, 111 p. : ill. ; 24 cm |
| Soggetto topico |
94-XX - Information and communication theory, circuits [MSC 2020]
00A79 (77-XX) - Physics [MSC 2020] |
| Soggetto non controllato |
Electronic System Level
Formal Specification Level Formal Verification Natural Language Processing Software Abstraction Verification of Embedded Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0229420 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Natural Language Processing for Electronic Design Automation / Mathias Soeken, Rolf Drechsler editors
| Natural Language Processing for Electronic Design Automation / Mathias Soeken, Rolf Drechsler editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | vii, 111 p. : ill. ; 24 cm |
| Soggetto topico |
00A79 (77-XX) - Physics [MSC 2020]
94-XX - Information and communication theory, circuits [MSC 2020] |
| Soggetto non controllato |
Electronic System Level
Formal Specification Level Formal Verification Natural language Software Verification of Embedded Systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00229420 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||