Search results for "Mathematical Foundations of Computer Science"
Items we need to order for you
Acta Numerica 2012: Volume 21
Acta Numerica is an annual publication containing invited survey papers by leading researchers in numerical mathematics and scientific computing. The papers present overviews of recent developments in their area and provide state-of-the-art techniques and analysis.
R 6,920.00
Infinite-Dimensional Spectral Computations
Mathematicians, physicists, engineers, and data scientists will welcome this comprehensive, practical guide to computing spectral properties of operators in infinite-dimensional settings with rigorous guarantees. It explains why standard discretisation can fail and shows how to overcome these pitfalls. It develops resolvent-based algorithms with provable convergence and certified error bounds, organised by a precise computability classification that clarifies what is achievable, what is impossible, and what extra information makes problems tractable. Topics include spectra and pseudospectra, spectral measures and functional calculus, spectral types, fractal and Cantor-type spectra, essential versus discrete spectra and multiplicities, spectral radii, abscissas and gaps, nonlinear operator pencils, and verified computation. A distinctive feature is the integration of modern applications, including a fully rigorous treatment of data-driven Koopman spectral analysis. Hundreds of worked examples, exercises with solutions, notes, and usable code make the book both a reference and a practical toolkit for researchers and students.
R 5,536.00
