Exoplanet, extrasolar planet, exoEarth, exojupiter: neologisms still absent from many dictionaries. These terms are, however, ...
Continue readingA book that traces the profound effect Gauss’s masterpiece has had on mathematics over the past two centuries. … The ...
Continue readingThis book reflects the progress made in the forty years since the appearance of Robinson’s revolutionary book Nonstandard ...
Continue readingThis volume is a synopsis of recent works aiming at a mathematically rigorous justification of the phase coexistence phenomenon, ...
Continue readingThis thorough yet understandable introduction to the boundary element method presents an attractive alternative to the finite ...
Continue readingThis textbook prepares graduate students for research in numerical analysis/computational mathematics by giving to them a ...
Continue readingThis book cover current issues of all major areas in computer science, mathematics (especially logic) and the physical sciences ...
Continue readingThis book, dedicated to Mizan Rahman, is made up of a collection of articles on various aspects of q-series and special functions. ...
Continue readingTheory of Computation is a unique textbook that serves the dual purposes of covering core material in the foundations of ...
Continue readingCoverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, ...
Continue readingMost topics dealt with here deal with complex analysis of both one and several complex variables. Several contributions come ...
Continue readingProvides a self-contained presentation of the foundations of finite fields, including a detailed treatment of their algebraic ...
Continue readingThis book presents survey articles on some of these new developments. Most of the material is directly related to the interaction ...
Continue readingThis text adopts the latter perspective by applying an arithmetic-algebraic viewpoint to the study of function fields as ...
Continue readingTopological bifurcation theory is one of the most essential topics in mathematics. This book contains original bifurcation ...
Continue readingTopological Methods in Group Theory is about the interplay between algebraic topology and the theory of infinite discrete ...
Continue readingTransseries are formal objects constructed from an infinitely large variable x and the reals using infinite summation, exponentiation ...
Continue readingThis book addresses postgraduate students and scientists working in engineering, physics, and mathematics. It provides an ...
Continue readingThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Continue readingThe treatment of uncertainties in the analysis of engineering structures remains one of the premium challenges in structural ...
Continue reading