We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£99.53
Springer - Formalization of Complex Analysis and Matrix Theory
Price data last checked 54 day(s) ago - refreshing...
Price History & Forecast
Last 37 days • 37 data points (No recent data available)
Price Distribution
Price distribution over 37 days • 2 price levels
Price Analysis
Most common price: £102 (36 days, 97.3%)
Price range: £100 - £102
Price levels: 2 different prices over 37 days
Description
Key Features
Covers fundamental mathematical topics including complex numbers, algebraic systems, and gauge integration for advanced study.
Provides detailed instruction on the Fourier transformation and its discrete counterpart within a formal framework.
Explores matrix theory through discussions on matrices, their transformations, and function matrices.
Utilizes the HOL4 interactive theorem prover developed at the University of Cambridge for mathematical formalization.
Includes mathematical developments that are now integral parts of the HOL4 library for verified computing.
Examines inner product spaces and complex analysis through the lens of formal mathematical verification.
Product Specifications
- Brand
- Springer
- Format
- Paperback
- ASIN
- 9811572631
- Domain
- Amazon UK
- Release Date
- 12 August 2021
- Listed Since
- 15 July 2021
Barcode
No barcode data available
Similar Products You Might Like
Formalization of Complex Analysis and Matrix Theory
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Matrix Theory (Graduate Studies in Mathematics)
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Springer Computational Invariant Theory: 130 Mathematics Book
Springer
Simulation and Analysis of Mathematical Methods in Real-Time Engineering Applications (Modern Mathematics in Computer Science)
John Wiley & Sons Inc
Proceedings of 2017 Chinese Intelligent Systems Conference: Volume I: 459 (Lecture Notes in Electrical Engineering, 459)
Springer
Formal System Verification: State-of the-Art and Future Trends
Springer
Inverse Galois Theory (Springer Monographs in Mathematics)
Springer
Conformal Geometry: Computational Algorithms and Engineering Applications
Springer
Proceedings of the Forum "Math-for-Industry" 2018: Big Data Analysis, AI, Fintech, Math in Finances and Economics: 35 (Mathematics for Industry, 35)
Springer
Model-Implementation Fidelity in Cyber Physical System Design
Springer
Proceedings of 2017 Chinese Intelligent Systems Conference: Volume II: 460 (Lecture Notes in Electrical Engineering, 460)
Springer
Semitopological Vector Spaces: Hypernorms, Hyperseminorms, and Operators
CRC Press
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Quaternion and Clifford Fourier Transforms
CRC Press
Matrix Theory: From Generalized Inverses to Jordan Form (Chapman & Hall/CRC Pure and Applied Mathematics)
CRC Press
Blind Identification of Structured Dynamic Systems: A Deterministic Perspective
Springer
Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics: Festschrift for Antonio Campillo on the Occasion of his 65th Birthday
Springer
Recursive Filtering for 2-D Shift-Varying Systems with Communication Constraints
CRC Press
Semi-physical Verification Technology for Dynamic Performance of Internet of Things System
Springer
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
Towards Integrating Control and Information Theories: From Information-Theoretic Measures to Control Performance Limitations: 465 (Lecture Notes in Control and Information Sciences, 465)
Springer