Maths for computer scientists

Practical methods for analyzing your data with graphs, revealing hidden connections and new insights.

Shine a spotlight into the deep learning ';black box'.

Written by an experienced physicist who is active in applying computer algebra to relativistic astrophysics and education, this is the resource for mathematical methods in physics using MapleTM and MathematicaTM.

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.

Presents the state of the art in the theory of ridge functions, providing a solid theoretical foundation.

Presents the state of the art in the theory of ridge functions, providing a solid theoretical foundation.

Covers extensions of Buchberger''s Theory and Algorithm, and promising recent alternatives to Gröbner bases.

Covers extensions of Buchberger''s Theory and Algorithm, and promising recent alternatives to Gröbner bases.

This advanced graduate textbook gives an authoritative and insightful description of the major ideas and techniques of public key cryptography.

Develops mathematical and probabilistic tools needed to give rigorous derivations and applications of fundamental results in signal processing theory.

This second edition explains how computer software is designed to perform the tasks required for sophisticated statistical analysis.

This book provides the mathematical basis for investigating numerically equations from physics, life sciences or engineering.

This book provides the mathematical basis for investigating numerically equations from physics, life sciences or engineering.

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization.

This book covers local search for combinatorial optimization and its extension to mixed-variable optimization.

A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics.

A comprehensive exploration of the mathematics behind the modeling and rendering of computer graphics scenes Mathematical Structures for Computer Graphics presents an accessible and intuitive approach to the mathematical ideas and techniques necessary for two- and three-dimensional computer graphics.

Many scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect measurements; for instance, detecting or quantifying flaws or cracks within a material from acoustic or electromagnetic measurements at its surface is an essential problem of non-destructive evaluation.

The first edition, published in 1973, has become a classic reference in the field.

Advances in computer technology have conveniently coincided withtrends in numerical analysis toward increased complexity ofcomputational algorithms based on finite difference methods.

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.

An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science.

An overview of the techniques developed to circumvent computational intractability, a key challenge in many areas of computer science.

This 2007 book discusses the design of reliable numerical methods to retrieve missing information in models of complex systems.

Expert coverage of the design and implementation of state estimation algorithms for tracking and navigation Estimation with Applications to Tracking and Navigation treats the estimation of various quantities from inherently inaccurate remote observations.

Fundamental concepts of mathematical modeling Modeling is one of the most effective, commonly used tools in engineering and the applied sciences.

Emphasizes the strategy of experimentation, data analysis, and the interpretation of experimental results.

Many scientific, medical or engineering problems raise the issue of recovering some physical quantities from indirect measurements; for instance, detecting or quantifying flaws or cracks within a material from acoustic or electromagnetic measurements at its surface is an essential problem of non-destructive evaluation.

The Science of Secrecy from Ancient Egypt to Quantum CryptographyFrom the best-selling author of Fermat's Last Theorem, The Code Book is a history of man's urge to uncover the secrets of codes, from Egyptian puzzles to modern day computer encryptions.

The expanded and updated 2nd edition of this classic text offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science.

This first comprehensive book on models behind Generative AI has been thoroughly revised to cover all major classes of deep generative models: mixture models, Probabilistic Circuits, Autoregressive Models, Flow-based Models, Latent Variable Models, GANs, Hybrid Models, Score-based Generative Models, Energy-based Models, and Large Language Models.