This volume introduces a unified, self-contained study of linear discrete parabolic problems through reducing the starting discrete problem to the Cauchy problem for an evolution equation in discrete time. Accessible to beginning graduate students, the book contains a general stability theory of discrete evolution equations in Banach space and gives applications of this theory to the analysis of various classes of modern discretization methods, among others, Runge-Kutta and linear multistep methods as well as operator splitting methods.

Key features:

* Presents a unified approach to examining discretization methods for parabolic equations.
* Highlights a stability theory of discrete evolution equations (discrete semigroups) in Banach space.
* Deals with both autonomous and non-autonomous equations as well as with equations with memory.
* Offers a series of numerous well-posedness and convergence results for various discretization methods as applied to abstract parabolic equations; among others, Runge-Kutta and linear multistep methods as well as certain operator splitting methods.
* Provides comments of results and historical remarks after each chapter.
. Presents a unified approach to examining discretization methods for parabolic equations.
. Highlights a stability theory of discrete evolution equations (discrete semigroups) in Banach space.
. Deals with both autonomous and non-autonomous equations as well as with equations with memory.
. Offers a series of numerous well-posedness and convergence results for various discretization methods as applied to abstract parabolic equations; among others, Runge-Kutta and linear multistep methods as well as certain operator splitting methods as well as certain operator splitting methods are studied in detail.
.Provides comments of results and historical remarks after each chapter."

The book presents a systematic and compact treatment of the qualitative theory of half-linear
differential equations. It contains the most updated and comprehensive material and represents the first attempt to present the results of the rapidly developing theory of half-linear differential equations in a unified form. The main topics covered by the book are oscillation and asymptotic theory and the theory of boundary value problems associated with half-linear equations, but the book also contains a treatment of related topics like PDE s with p-Laplacian, half-linear difference equations and various more general nonlinear differential equations.
- The first complete treatment of the qualitative theory of half-linear differential equations.
- Comparison of linear and half-linear theory.
- Systematic approach to half-linear oscillation and asymptotic theory.
- Comprehensive bibliography and index.
- Useful as a reference book in the topic.

Computational Geometry is an area that provides solutions to geometric problems which arise in applications including Geographic Information Systems, Robotics and Computer Graphics. This Handbook provides an overview of key concepts and results in Computational Geometry. It may serve as a reference and study guide to the field. Not only the most advanced methods or solutions are described, but also many alternate ways of looking at problems and how to solve them.

Volume II of "Classical Recursion Theory" describes the universe from a local (bottom-up
or synthetical) point of view, and covers the whole spectrum, from the
recursive to the arithmetical sets.
The first half of the book provides a detailed picture of the computable
sets from the perspective of Theoretical Computer Science. Besides giving a
detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity
classes, ranging from small time and space bounds to the elementary functions,
with a particular attention to polynomial time and space computability. It also
deals with primitive recursive functions and larger classes, which are of
interest to the proof theorist.
The second half of the book starts with the classical theory of recursively
enumerable sets and degrees, which constitutes the core of Recursion or
Computability Theory. Unlike other texts, usually confined to the Turing
degrees, the book covers a variety of other strong reducibilities, studying
both their individual structures and their mutual relationships. The last
chapters extend the theory to limit sets and arithmetical sets. The volume
ends with the first textbook treatment of the enumeration degrees, which
admit a number of applications from algebra to the Lambda Calculus.
The book is a valuable source of information for anyone interested in
Complexity and Computability Theory. The student will appreciate the detailed
but informal account of a wide variety of basic topics, while the specialist
will find a wealth of material sketched in exercises and asides. A massive
bibliography of more than a thousand titles completes the treatment on the
historical side.

Topology, for many years, has been one of the most exciting and influential fields of research in modern mathematics. Although its origins may be traced back several hundred years, it was Poincare who "gave topology wings" in a classic series of articles published around the turn of the century. While the earlier history, sometimes called the prehistory, is also considered, this volume is mainly concerned with the more recent history of topology, from Poincare onwards.
As will be seen from the list of contents the articles cover a wide range of topics. Some are more technical than others, but the reader without a great deal of technical knowledge should still find most of the articles accessible. Some are written by professional historians of mathematics, others by historically-minded mathematicians, who tend to have a different viewpoint.

This classic work has been fundamentally revised to take account of recent developments in general topology. The first three chapters remain unchanged except for numerous minor corrections and additional exercises, but chapters IV-VII and the new chapter VIII cover the rapid changes that have occurred since 1968 when the first edition appeared.
The reader will find many new topics in chapters IV-VIII, e.g. theory of Wallmann-Shanin's compactification, realcompact space, various generalizations of paracompactness, generalized metric spaces, Dugundji type extension theory, linearly ordered topological space, theory of cardinal functions, dyadic space, etc., that were, in the author's opinion, mostly special or isolated topics some twenty years ago but now settle down into the mainstream of general topology.

'Numbers and Proofs' presents a gentle introduction to the notion of proof to give the reader an understanding of how to decipher others' proofs as well as construct their own. Useful methods of proof are illustrated in the context of studying problems concerning mainly numbers (real, rational, complex and integers). An indispensable guide to all students of mathematics. Each proof is preceded by a discussion which is intended to show the reader the kind of thoughts they might have before any attempt proof is made. Established proofs which the student is in a better position to follow then follow.
Presented in the author's entertaining and informal style, and written to reflect the changing profile of students entering universities, this book will prove essential reading for all seeking an introduction to the notion of proof as well as giving a definitive guide to the more common forms. Stressing the importance of backing up "truths" found through experimentation, with logically sound and watertight arguments, it provides an ideal bridge to more complex undergraduate maths.

In its Second Edition, Handbook of Pulping and Papermaking is a comprehensive reference for industry and academia. The book offers a concise yet thorough introduction to the process of papermaking from the production of wood chips to the final testing and use of the paper product. The author has updated the extensive bibliography, providing the reader with easy access to the pulp and paper literature. The book emphasizes principles and concepts behind papermaking, detailing both the physical and chemical processes.
Key Features
* A comprehensive introduction to the physical and chemical processes in pulping and papermaking
* Contains an extensive annotated bibliography
* Includes 12 pages of color plates

This text brings the reader to the frontiers of current research in topological rings. The exercises illustrate many results and theorems while a comprehensive bibliography is also included.

The book is aimed at those readers acquainted with some very basic point-set topology and algebra, as normally presented in semester courses at the beginning graduate level or even at the advanced undergraduate level. Familiarity with Hausdorff, metric, compact and locally compact spaces and basic properties of continuous functions, also with groups, rings, fields, vector spaces and modules, and with Zorn's Lemma, is also expected.

Probability is relevant to so many different subject areas that its importance as a mathematical technique cannot be underestimated. This book provides a comprehensive, user-friendly introduction to the subject. The step-by-step approach taken by the author allows students to develop knowledge at their own pace and, by working through the numerous exercises, they are ensured a full understanding of the material before moving on to more advanced sections. Traditional examples of probablistic theory, such as coins and dice, are included but the author has also used many exercises based on real-life problems. The result is an introduction to probability that avoids the overly confusing, theoretical approach often adopted in this area, and provides a simple and concise text that will be invaluable to all studying first and second year courses on the subject.

This text provides an introduction to group theory with an emphasis on clear examples. The authors present groups as naturally occurring structures arising from symmetry in geometrical figures and other mathematical objects. Written in a 'user-friendly' style, where new ideas are always motivated before being fully introduced, the text will help readers to gain confidence and skill in handling group theory notation before progressing on to applying it in complex situations. An ideal companion to any first or second year course on the topic.

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

For more than forty years, the equation y (t) = Ay(t) + u(t) in Banach spaces has been used as model for optimal control processes described by partial differential equations, in particular heat and diffusion processes. Many of the outstanding open problems, however, have remained open until recently, and some have never been solved. This book is a survey of all results know to the author, with emphasis on very recent results (1999 to date).

The book is restricted to linear equations and two particular problems (the time optimal problem, the norm optimal problem) which results in a more focused and concrete treatment. As experience shows, results on linear equations are the basis for the treatment of their semilinear counterparts, and techniques for the time and norm optimal problems can often be generalized to more general cost functionals.

The main object of this book is to be a state-of-the-art monograph on the theory of the time and norm optimal controls for y (t) = Ay(t) + u(t) that ends at the very latest frontier of research, with open problems and indications for future research.

Key features:

. Applications to optimal diffusion processes.
. Applications to optimal heat propagation processes.
. Modelling of optimal processes governed by partial
differential equations.
. Complete bibliography.
. Includes the latest research on the subject.
. Does not assume anything from the reader except
basic functional analysis.
. Accessible to researchers and advanced graduate
students alike
. Applications to optimal diffusion processes.
. Applications to optimal heat propagation processes.
. Modelling of optimal processes governed by partial
differential equations.
. Complete bibliography.
. Includes the latest research on the subject.
. Does not assume anything from the reader except
basic functional analysis.
. Accessible to researchers and advanced graduate
students alike"

Techniques of physics find wide application in biology, medicine, engineering and technology generally. This series is devoted to techniques which have found and are finding application. The aim is to clarify the principles of each technique, to emphasize and illustrate the applications and to draw attention to new fields of possible employment.

This book (along with volume 2 covers most of the traditional methods for polynomial root-finding such as Newton s, as well as numerous variations on them invented in the last few decades. Perhaps more importantly it covers recent developments such as Vincent s method, simultaneous iterations, and matrix methods. There is an extensive chapter on evaluation of polynomials, including parallel methods and errors. There are pointers to robust and efficient programs. In short, it could be entitled A Handbook of Methods for Polynomial Root-finding . This book will be invaluable to anyone doing research in polynomial roots, or teaching a graduate course on that topic.

- First comprehensive treatment of Root-Finding in several decades.
- Gives description of high-grade software and where it can be down-loaded.
- Very up-to-date in mid-2006; long chapter on matrix methods.
- Includes Parallel methods, errors where appropriate.
- Invaluable for research or graduate course.

"

Anyone involved in the philosophy of science is naturally drawn into the study of the foundations of probability. Different interpretations of probability, based on competing philosophical ideas, lead to different statistical techniques, and frequently to mutually contradictory consequences.

This unique book presents a new interpretation of probability, rooted in the traditional interpretation that was current in the 17th and 18th centuries. Mathematical models are constructed based on this interpretation, and statistical inference and decision theory are applied, including some examples in artificial intelligence, solving the main foundational problems. Nonstandard analysis is extensively developed for the construction of the models and in some of the proofs. Many nonstandard theorems are proved, some of them new, in particular, a representation theorem that asserts that any stochastic process can be approximated by a process defined over a space with equiprobable outcomes.

Relation algebras are algebras arising from the study of binary relations.
They form a part of the field of algebraic logic, and have applications in proof theory, modal logic, and computer science. This research text uses combinatorial games to study the fundamental notion of representations of relation algebras. Games allow an intuitive and appealing approach to the subject, and permit substantial advances to be made. The book contains many new results and proofs not published elsewhere. It should be invaluable to graduate students and researchers interested in relation algebras and games.

After an introduction describing the authors' perspective on the material, the text proper has six parts. The lengthy first part is devoted to background material, including the formal definitions of relation algebras, cylindric algebras, their basic properties, and some connections between them. Examples are given. Part 1 ends with a short survey of other work beyond the scope of the book. In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises.

The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given. Chapter 2 introduces the necessary universal algebra and model theory, and more specific model-theoretic ideas are explained as they arise.

The year 2007 marks the 300th anniversary of the birth of one of the Enlightenment's most important mathematicians and scientists, Leonhard Euler. This volume is a collection of 24 essays by some of the world's best Eulerian scholars from seven different countries about Euler, his life and his work.
Some of the essays are historical, including much previously unknown information about Euler's life, his activities in the St. Petersburg Academy, the influence of the Russian Princess Dashkova, and Euler's philosophy. Others describe his influence on the subsequent growth of European mathematics and physics in the 19th century. Still others give technical details of Euler's innovations in probability, number theory, geometry, analysis, astronomy, mechanics and other fields of mathematics and science.
- Over 20 essays by some of the best historians of mathematics and science, including Ronald Calinger, Peter Hoffmann, Curtis Wilson, Kim Plofker, Victor Katz, Ruediger Thiele, David Richeson, Robin Wilson, Ivor Grattan-Guinness and Karin Reich
- New details of Euler's life in two essays, one by Ronald Calinger and one he co-authored with Elena Polyakhova
- New information on Euler's work in differential geometry, series, mechanics, and other important topics including his influence in the early 19th century

This handbook is the second volume in a series devoted to self contained and up-to-date surveys in the theory of ordinary differential equations, written
by leading researchers in the area. All contributors have made an additional effort to achieve readability for mathematicians and scientists from other related fields, in order to make the chapters of the volume accessible to a wide audience.
. Six chapters covering a variety of problems in ordinary differential equations.
. Both, pure mathematical research and real word applications are reflected
. Written by leading researchers in the area.

Codes on Euclidean spheres are often referred to as spherical codes. They are of interest from mathematical, physical and engineering points of view. Mathematically the topic belongs to the realm of algebraic combinatorics, with close connections to number theory, geometry, combinatorial theory, and - of course - to algebraic coding theory. The connections to physics occur within areas like crystallography and nuclear physics. In engineering spherical codes are of central importance in connection with error-control in communication systems. In that context the use of spherical codes is often referred to as "coded modulation."

The book offers a first complete treatment of the mathematical theory of codes on Euclidean spheres. Many new results are published here for the first time. Engineering applications are emphasized throughout the text. The theory is illustrated by many examples. The book also contains an extensive table of best known spherical codes in dimensions 3-24, including exact constructions.

The book is devoted to various constructions of sets which are nonmeasurable with respect to invariant (more generally, quasi-invariant) measures. Our starting point is the classical Vitali theorem stating the existence of subsets of the real line which are not measurable in the Lebesgue sense. This theorem stimulated the development of the following interesting topics in mathematics:
1. Paradoxical decompositions of sets in finite-dimensional Euclidean spaces;
2. The theory of non-real-valued-measurable cardinals;
3. The theory of invariant (quasi-invariant)
extensions of invariant (quasi-invariant) measures.
These topics are under consideration in the book. The role of nonmeasurable sets (functions) in point set theory and real analysis is underlined and various classes of such sets (functions) are investigated . Among them there are: Vitali sets, Bernstein sets, Sierpinski sets, nontrivial solutions of the Cauchy functional equation, absolutely nonmeasurable sets in uncountable groups, absolutely nonmeasurable additive functions, thick uniform subsets of the plane, small nonmeasurable sets, absolutely negligible sets, etc. The importance of properties of nonmeasurable sets for various aspects of the measure extension problem is shown. It is also demonstrated that there are close relationships between the existence of nonmeasurable sets and some deep questions of axiomatic set theory, infinite combinatorics, set-theoretical topology, general theory of commutative groups. Many open attractive problems are formulated concerning nonmeasurable sets and functions.
. highlights the importance of nonmeasurable sets (functions) for general measure extension problem.
. Deep connections of the topic with set theory, real analysis, infinite combinatorics, group theory and geometry of Euclidean spaces shown and underlined.
. self-contained and accessible for a wide audience of potential readers.
. Each chapter ends with exercises which provide valuable additional information about nonmeasurable sets and functions.
. Numerous open problems and questions."

This book familiarizes both popular and fundamental notions and techniques from the theory of non-normed topological algebras with involution, demonstrating with examples and basic results the necessity of this perspective. The main body of the book is focussed on the Hilbert-space (bounded) representation theory of topological *-algebras and their topological tensor products, since in our physical world, apart from the majority of the existing unbounded operators, we often meet operators that are forced to be bounded, like in the case of symmetric *-algebras. So, one gets an account of how things behave, when the mathematical structures are far from being algebras endowed with a complete or non-complete algebra norm. In problems related with mathematical physics, such instances are, indeed, quite common.

Key features:

- Lucid presentation
- Smooth in reading
- Informative
- Illustrated by examples
- Familiarizes the reader with the non-normed *-world
- Encourages the hesitant
- Welcomes new comers.
- Well written and lucid presentation.
- Informative and illustrated by examples.
- Familiarizes the reader with the non-normed *-world.

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.

To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery.

We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics.

The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources.

The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well.

Key Features:

Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science

Written by internationally leading researchers in the field of pure and applied logic

Combines mathematical theory of modal logic and applications in artificial intelligence and computer science

Numerous open problems for further research

Well illustrated with pictures and tables
"

Since their introduction in the 1980's, wavelets have become a powerful tool in mathematical analysis, with applications such as image compression, statistical estimation and numerical simulation of partial differential equations. One of their main attractive features is the ability to accurately represent fairly general functions with a small number of adaptively chosen wavelet coefficients, as well as to characterize the smoothness of such functions from the numerical behaviour of these coefficients. The theoretical pillar that underlies such properties involves approximation theory and function spaces, and plays a pivotal role in the analysis of wavelet-based numerical methods.
This book offers a self-contained treatment of wavelets, which includes this theoretical pillar and it applications to the numerical treatment of partial differential equations. Its key features are:

1. Self-contained introduction to wavelet bases and related numerical algorithms, from the simplest examples to the most numerically useful general constructions.

2. Full treatment of the theoretical foundations that are crucial for the analysis
of wavelets and other related multiscale methods: function spaces, linear and nonlinear approximation, interpolation theory.

3. Applications of these concepts to the numerical treatment of partial differential equations: multilevel preconditioning, sparse approximations of differential and integral operators, adaptive discretization strategies.

Two distinct systems of hypercomplex numbers in n dimensions are introduced in this book, for which the multiplication is associative and commutative, and which are rich enough in properties such that exponential and trigonometric forms exist and the concepts of analytic n-complex function, contour integration and residue can be defined.

The first type of hypercomplex numbers, called polar hypercomplex numbers, is characterized by the presence in an even number of dimensions greater or equal to 4 of two polar axes, and by the presence in an odd number of dimensions of one polar axis. The other type of hypercomplex numbers exists as a distinct entity only when the number of dimensions n of the space is even, and since the position of a point is specified with the aid of n/2-1 planar angles, these numbers have been called planar hypercomplex numbers.

The development of the concept of analytic functions of hypercomplex variables was rendered possible by the existence of an exponential form of the n-complex numbers. Azimuthal angles, which are cyclic variables, appear in these forms at the exponent, and lead to the concept of n-dimensional hypercomplex residue. Expressions are given for the elementary functions of n-complex variable. In particular, the exponential function of an n-complex number is expanded in terms of functions called in this book n-dimensional cosexponential functions
of the polar and respectively planar type, which are generalizations to n dimensions of the sine, cosine and exponential functions.

In the case of polar complex numbers, a polynomial can be written as a product of linear or quadratic factors, although it is interesting that several factorizations are in general possible. In the case of planar hypercomplex numbers, a polynomial can always be written as a product of linear factors, although, again, several factorizations are in general possible.

The book presents a detailed analysis of the hypercomplex numbers in 2, 3 and 4 dimensions, then presents the properties of hypercomplex numbers in 5 and 6 dimensions, and it continues with a detailed analysis of polar and planar hypercomplex numbers in n dimensions. The essence of this book is the interplay between the algebraic, the geometric and the analytic facets of the relations.