H. Schwichtenberg & A. S. Troelstra 
Basic Proof Theory [PDF ebook] 

The literature on the spectral analysis of second order elliptic differential operators contains a great deal of information on the spectral functions for explicitly known spectra. The same is not …

First Published in 2018. The emphasis of the book is calculational, and most computations are presented in step-by-step detail. The book is unique in that it develops all three representations of …

This volume is based on the proceedings of the Hopf-Algebras and Quantum Groups conference at the Free University of Brussels, Belgium. It presents state-of-the-art papers – selected from over 65 …

The first unified, in-depth discussion of the now classical Gelfand-Naimark theorems, thiscomprehensive text assesses the current status of modern analysis regarding both Banachand …

Of the two primary approaches to the classic source separation problem, only one does not impose potentially unreasonable model and likelihood constraints: the Bayesian statistical approach. Bayesian …

Prevalent in animation movies and interactive games, subdivision methods allow users to design and implement simple but efficient schemes for rendering curves and surfaces. Adding to the current …

This text presents a wide variety of common types of models found in other mathematical modeling texts, as well as some new types. However, the models are presented in a very unique format. A typical …

Cybersecurity Analytics is for the cybersecurity student and professional who wants to learn data science techniques critical for tackling cybersecurity challenges, and for the data science student a …

Applications of Numerical Methods in Molecular Spectroscopy provides a mathematical background, theoretical perspective, and review of spectral data processing methods. The book discusses methods of …

This book presents an account of recent results on the theory of representations and the harmonic analysis of free groups. It emphasizes the analogy with the theory of representations of noncompact …