Inicio > Tecnología, ingeniería, agricultura > Tecnología: cuestiones generales > Ingeniería: general > Formalization of Complex Analysis and Matrix Theory
Formalization of Complex Analysis and Matrix Theory

Formalization of Complex Analysis and Matrix Theory

Ximeng Li / Yong Guan / Zhiping Shi

195,93 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2021
Materia
Ingeniería: general
ISBN:
9789811572630
195,93 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

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.

Artículos relacionados

  • An Engineer’s Alphabet
    Henry Petroski
    ...
    Disponible

    42,09 €

  • Conduct of Vessels Underway
    Captain Mehrdad Behforouzi
    This book results from sailing for 25 years at sea at different ranks, including 15 years of command and more than 20 years of teaching in maritime universities, colleges, and simulators. Lack of knowledge and misinterpretation of the rules are the reasons for Most collisions at sea. The author tried to interpret the rules of the road practically to be understandable both in th...
    Disponible

    87,94 €

  • Robotics- An Introduction
    R Manikandan
    In this book the principles and basic concepts of Robotics and its components are briefed. The readers will understand the design and implementation of robot applications and their relationship to other automated technologies. The basis of machine vision and its application in robotics are briefed. The concept of end effectors, basic programming in Robots and a few real time ap...
    Disponible

    75,58 €

  • Nonnegative and Compartmental Dynamical Systems
    Qing Hui / VijaySekhar Chellaboina / Wassim M. Haddad
    This comprehensive book provides the first unified framework for stability and dissipativity analysis and control design for nonnegative and compartmental dynamical systems, which play a key role in a wide range of fields, including engineering, thermal sciences, biology, ecology, economics, genetics, chemistry, medicine, and sociology. Using the highest standards of exposition...
    Disponible

    191,61 €

  • Steady Aircraft Flight and Performance
    N. Harris McClamroch
    This undergraduate textbook offers a unique introduction to steady flight and performance for fixed-wing aircraft from a twenty-first-century flight systems perspective. Emphasizing the interplay between mathematics and engineering, it fully explains the fundamentals of aircraft flight and develops the basic algebraic equations needed to obtain the conditions for gliding flight...
    Disponible

    153,56 €

  • Capacidade Do Fungo Pleurotus Ostreatus (Cogumelo Shimeji) Na Biorremediação De Solos Contaminados Com Chumbo (Pb)
    Duilio Pereira
    O Uso De Biorremediação Está Ganhando Interesse, E O Objetivo Da Presente Investigação É Usar O Fungo Pleurotus Ostreatus Para Remediar Solos Contaminados Com Chumbo (Pb) E Serragem Como Um Complemento, Um Nutriente Que Permite Maior Eficiência E Velocidade De Crescimento. Para Delinear Esta Pesquisa, Foram Testados Três Repetições E Três Tratamentos E Unidade De Uma Placa Como...
    Disponible

    11,96 €

Otros libros del autor

  • Formalization of Complex Analysis and Matrix Theory
    Ximeng Li / Yong Guan / Zhiping Shi
    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...
    Disponible

    194,57 €