This is a version of Gevrey's classical treatise on the heat equations. Included in this volume are discussions of initial and/or boundary value problems, numerical methods, free boundary problems and parameter determination problems. The material is presented as a monograph and/or information source book. After the first six chapters of standard classical material, each chapter is written as a self-contained unit except for an occasional reference to elementary definitions, theorems and lemmas in previous chapters.

This introduction to certain mathematical topics central to theoretical computer science treats computability and recursive functions, formal languages and automata, computational complexity, and cruptography. The presentation is essentially self-contained with detailed proofs of all statements provided. Although it begins with the basics, it proceeds to some of the most important recent developments in theoretical computer science.

Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.

The book deals with the many connections between matrices, graphs, diagraphs and bipartite graphs. The basic theory of network flows is developed in order to obtain existence theorems for matrices with prescribed combinatorical properties and to obtain various matrix decomposition theorems. Other chapters cover the permanent of a matrix and Latin squares. The book ends by considering algebraic characterizations of combinatorical properties and the use of combinatorial arguments in proving classical algebraic theorems, including the Cayley-Hamilton Theorem and the Jorda Canonical Form.

An interval is a natural way of specifying a number that is specified only within certain tolerances.

A continuation of The Theory of Matroids, (edited by N. White), this volume consists of a series of related surveys by top authorities on coordinatizations, matching theory, transversal and simplicial matroids, and studies of important matroid variants. An entire chapter is devoted to matroids in combinatorial optimization, a topic of current interest. Care has been taken to ensure a uniform style throughout, and to make a work that can be used as a reference or as a graduate textbook. Excercises are included.

The classical subjects of geometric probability and integral geometry, and the more modern one of stochastic geometry, are developed here in a novel way to provide a framework in which they can be studied. The author focuses on factorization properties of measures and probabilities implied by the assumption of their invariance with respect to a group, in order to investigate nontrivial factors. The study of these properties is the central theme of the book. Basic facts about integral geometry and random point process theory are developed in a simple geometric way, so that the whole approach...

Deals with modern theory of functional equations in several variables and their applications to mathematics, information theory, and the natural, behavioral, and social sciences. The authors emphasize applications, although not at the expense of theory, and have kept the prerequisites to a minimum; the reader should be familiar with calculus and some simple structures of algebra and have a basic knowledge of Lebesque integration. For the applications the authors have included references and explained the results used. The book is designed so that the chapters may be read almost independently...

The theory of finite fields is a branch of algebra with diverse applications in such areas as combinatorics, coding theory and the mathematical study of switching circuits. This updated second edition is devoted entirely to the theory of finite fields, and it provides comprehensive coverage of the literature. Bibliographical notes at the end of each chapter give a historical survey of the development of the subject. Worked examples and lists of exercises throughout the book make it useful as a text for advanced level courses for students of algebra.

This book is concerned with the theory of unbounded derivations in C*-algebras, a subject whose study was motivated by questions in quantum physics and statistical mechanics, and to which the author has made considerable contributions. This is an active area of research, and one of the most ambitious aims of the theory is to develop quantum statistical mechanics within the framework of C*-theory. The presentation concentrates on topics involving quantum statistical mechanics and differentiations on manifolds. One of the goals is to formulate the absence theorem of phase transitions in its...