MARC details
000 -Record Label |
fixed length control field |
01893nam a22003135i 4500 |
005 - Identificador da versão |
control field |
20231026102328.0 |
010 ## - ISBN - International Standard Book Number |
Número (ISBN) |
978-981-15-7261-6 |
Modalidade de aquisição e/ou preço |
compra |
100 ## - Entrada principal |
Dados gerais de processamento |
20231023d2020 k||y0pory50 ba |
101 0# - Língua do documento |
Língua do texto, banda sonora, etc. |
eng |
102 ## - País da publicação |
País de publicação |
SG - Singapura |
200 1# - Título |
Título próprio |
Formalization of complex analysis and matrix theory |
Indicação geral da natureza do documento |
Documento eletrónico |
Primeira menção de responsabilidade |
by Zhiping Shi, Yong Guan, Ximeng Li |
210 ## - Local de edição |
Lugar da edição, distribuição, etc. |
Singapore |
Nome do editor, distribuidor, etc. |
Springer Nature Singapore |
-- |
Springer |
Data da publicação, distribuição, etc. |
2020 |
215 ## - Descrição física (Vol.pg.fl.tm.fsc) |
Descrição física |
X, 168 p. |
Outras indicações físicas |
il. |
303 ## - Notas Informação descritiva |
Texto da nota |
This book discusses the formalization of mathematical theories centering on complex analysis and matrix theory, covering topics such as algebraic systems, complex numbers, gauge integration, the Fourier transformation and its discrete counterpart, matrices and their transformation, inner product spaces, and function matrices. The formalization is performed using the interactive theorem prover HOL4, chiefly developed at the University of Cambridge. Many of the developments presented are now integral parts of the library of this prover. As mathematical developments continue to gain in complexity, sometimes demanding proofs of enormous sizes, formalization has proven to be invaluable in terms of obtaining real confidence in their correctness. This book provides a basis for the computer-aided verification of engineering systems constructed using the principles of complex analysis and matrix theory, as well as building blocks for the formalization of more involved mathematical theories. |
606 ## - Nome comum como assunto |
Elemento de entrada |
Mathematics |
606 ## - Nome comum como assunto |
Elemento de entrada |
Engineering mathematics |
606 ## - Nome comum como assunto |
Elemento de entrada |
Engineering |
Subdivisão de assunto |
Data processing |
606 ## - Nome comum como assunto |
Elemento de entrada |
Computer science |
Subdivisão de assunto |
Mathematics |
680 ## - Classificação Biblioteca Congresso |
Notação |
T57-57.97 |
700 1# - Autor (resp. principal) |
Palavra de ordem |
Shi |
Outra parte do nome |
Zhiping |
701 1# - Co-responsabilidade principal |
Palavra de ordem |
Guan |
Outra parte do nome |
Yong |
701 1# - Co-responsabilidade principal |
Palavra de ordem |
Li |
Outra parte do nome |
Ximeng |
801 #0 - Fonte de origem |
País |
Portugal |
Regras de catalogação |
RPC |
856 4# - URL Endereço WEB |
URL |
https://doi.org/10.1007/978-981-15-7261-6 |
942 ## - Elementos de entrada adicionados (Koha) |
Fonte da classificação ou esquema de estante |
Library of Congress Classification |
Tipo de item no Koha |
E-Books |
Suprimido |
0 |