Ergebnisse für: Formalization of Complex Analysis

Hier findest Du Bücher, die sich mit Formalization of Complex Analysis beschäftigen.

Buch Cover Formalization of Complex Analysis and Matrix Theory
Formalization of Complex Analysis and Matrix Theory
Zhiping Shi, Yong Guan, Ximeng Li
Springer Singapore
149.79 € · Hardcover
Formalization of Mathematical Theories Mechanization of Mathematical Theories Formal Verification of Computer Algorithms (Formal Verification) Interactive Theorem Proving Interactive Theorem Provers Higher Order Logic Proof Assistants Formalization of Matrix Theory Formalization of Complex Analysis Fourier Analysis Algebraic Systems Gauge Integration Inner-product Spaces Function Matrices
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 spa...
Buch Cover Formalization of Complex Analysis and Matrix Theory
Formalization of Complex Analysis and Matrix Theory
Zhiping Shi, Yong Guan, Ximeng Li
Springer Singapore
139.09 € · eBook
Formalization of Mathematical Theories Mechanization of Mathematical Theories Formal Verification of Computer Algorithms (Formal Verification) Interactive Theorem Proving Interactive Theorem Provers Higher Order Logic Proof Assistants Formalization of Matrix Theory Formalization of Complex Analysis Fourier Analysis Algebraic Systems Gauge Integration Inner-product Spaces Function Matrices
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 spa...
Buch Cover Formalization of Complex Analysis and Matrix Theory
Formalization of Complex Analysis and Matrix Theory
Zhiping Shi, Yong Guan, Ximeng Li
Springer Singapore
149.79 € · Paperback
Formalization of Mathematical Theories Mechanization of Mathematical Theories Formal Verification of Computer Algorithms (Formal Verification) Interactive Theorem Proving Interactive Theorem Provers Higher Order Logic Proof Assistants Formalization of Matrix Theory Formalization of Complex Analysis Fourier Analysis Algebraic Systems Gauge Integration Inner-product Spaces Function Matrices
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 spa...
Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden