Avner Ash & David Mumford 
Smooth Compactifications of Locally Symmetric Varieties [PDF ebook] 

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. It has three parts: The first part …

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 …

Problems concerning non-classical elastic solids continue to attract the attention of mathematicians, scientists and engineers. Research in this area addresses problems concerning many substances, …

‘Contains the contributions of 45 internationally distinguished mathematicians covering all areas of approximation theory-written in honor of the pioneering work of Arun K. Varma to the fields of …

Nonlinear algebra provides modern mathematical tools to address challenges arising in the sciences and engineering. It is useful everywhere, where polynomials appear: in particular, data and …

Fractional-order calculus dates to the 19th century but has been resurrected as a prevalent research subject due to its provision of more adequate and realistic descriptions of physical aspects …

‘Based on papers presented at a recent international conference on algebra and algebraic geometry held jointly in Antwerp and Brussels, Belgium. Presents both survey and research articles featuring …