The book, suitable as both an introductory reference and as a text book in the rapidly growing field of topological graph theory, models both maps (as in map-coloring problems) and groups by means of graph imbeddings on sufaces. Automorphism groups of both graphs and maps are studied. In addition connections are made to other areas of mathematics, such as hypergraphs, block designs, finite geometries, and finite fields. There are chapters on the emerging subfields of enumerative topological graph theory and random topological graph theory, as well as a chapter on the composition of English church-bell music. The latter is facilitated by imbedding the right graph of the right group on an appropriate surface, with suitable symmetries. Throughout the emphasis is on Cayley maps: imbeddings of Cayley graphs for finite groups as (possibly branched) covering projections of surface imbeddings of loop graphs with one vertex. This is not as restrictive as it might sound; many developments in topological graph theory involve such imbeddings.

The approach aims to make all this interconnected material readily accessible to a beginning graduate (or an advanced undergraduate) student, while at the same time providing the research mathematician with a useful reference book in topological graph theory. The focus will be on beautiful connections, both elementary and deep, within mathematics that can best be described by the intuitively pleasing device of imbedding graphs of groups on surfaces.

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

This is an all-encompassing and exhaustive exposition of the theory of infinite-dimensional Unitary Representations of Locally Compact Groups and its generalization to representations of Banach algebras. The presentation is detailed, accessible, and self-contained (except for some elementary knowledge in algebra, topology, and abstract measure theory). In the later chapters the reader is brought to the frontiers of present-day knowledge in the area of Mackey normal subgroup analysisand its generalization to the context of Banach *-Algebraic Bundles.

This is an all-encompassing and exhaustive exposition of the theory of infinite-dimensional Unitary Representations of Locally Compact Groups and its generalization to representations of Banach algebras. The presentation is detailed, accessible, and self-contained (except for some elementary knowledge in algebra, topology, and abstract measure theory). In the later chapters the reader is brought to the frontiers of present-day knowledge in the area of Mackey normal subgroup analysisand its generalization to the context of Banach *-Algebraic Bundles.

This book is the first attempt to develop systematically a general theory of the initial-boundary value problems for nonlinear evolution equations with pseudodifferential operators Ku on a half-line or on a segment. We study traditionally important problems, such as local and global existence of solutions and their properties, in particular much attention is drawn to the asymptotic behavior of solutions for large time. Up to now the theory of nonlinear initial-boundary value problems with a general pseudodifferential operator has not been well developed due to its difficulty. There are many open natural questions. Firstly how many boundary data should we pose on the initial-boundary value problems for its correct solvability? As far as we know there are few results in the case of nonlinear nonlocal equations. The methods developed in this book are applicable to a wide class of dispersive and dissipative nonlinear equations, both local and nonlocal.
-For the first time the definition of pseudodifferential operator on a half-line and a segment is done
-A wide class of nonlinear nonlocal and local equations is considered
-Developed theory is general and applicable to different equations
-The book is written clearly, many examples are considered
-Asymptotic formulas can be used for numerical computations by engineers and physicists
-The authors are recognized experts in the nonlinear wave phenomena

In accordance with the developments in computation, theoretical studies on numerical schemes are now fruitful and highly needed. In 1991 an article on the finite element method applied to evolutionary problems was published. Following the method, basically this book studies various schemes from operator theoretical points of view. Many parts are devoted to the finite element method, but other schemes and problems (charge simulation method, domain decomposition method, nonlinear problems, and so forth) are also discussed, motivated by the observation that practically useful schemes have fine mathematical structures and the converses are also true. This book has the following chapters: 1. Boundary Value Problems and FEM. 2. Semigroup Theory and FEM. 3. Evolution Equations and FEM. 4. Other Methods in Time Discretization. 5. Other Methods in Space Discretization. 6. Nonlinear Problems. 7. Domain Decomposition Method.

The book is designed for researchers, students and practitioners interested in using fast and efficient iterative methods to approximate solutions of nonlinear equations. The following four major problems are addressed. Problem 1: Show that the iterates are well defined. Problem 2: concerns the convergence of the sequences generated by a process and the question of whether the limit points are, in fact solutions of the equation. Problem 3: concerns the economy of the entire operations. Problem 4: concerns with how to best choose a method, algorithm or software program to solve a specific type of problem and its description of when a given algorithm succeeds or fails. The book contains applications in several areas of applied sciences including mathematical programming and mathematical economics. There is also a huge number of exercises complementing the theory.
- Latest convergence results for the iterative methods
- Iterative methods with the least computational cost
- Iterative methods with the weakest convergence conditions
- Open problems on iterative methods

The ideas of Fourier have made their way into every branch of mathematics and mathematical physics, from the theory of numbers to quantum mechanics. Fourier Series and Integrals focuses on the extraordinary power and flexibility of Fourier's basic series and integrals and on the astonishing variety of applications in which it is the chief tool. It presents a mathematical account of Fourier ideas on the circle and the line, on finite commutative groups, and on a few important noncommutative groups. A wide variety of exercises are placed in nearly every section as an integral part of the text.

The basic goals of the book are: (i) to introduce the subject to those interested in discovering it, (ii) to coherently present a number of basic techniques and results, currently used in the subject, to those working in it, and (iii) to present some of the results that are attractive in their own right, and which lend themselves to a presentation not overburdened with technical machinery.

This is the revised and augmented edition of a now classic book which is an introduction to sub-Markovian kernels on general measurable spaces and their associated homogeneous Markov chains. The first part, an expository text on the foundations of the subject, is intended for post-graduate students. A study of potential theory, the basic classification of chains according to their asymptotic behaviour and the celebrated Chacon-Ornstein theorem are examined in detail.
The second part of the book is at a more advanced level and includes a treatment of random walks on general locally compact abelian groups. Further chapters develop renewal theory, an introduction to Martin boundary and the study of chains recurrent in the Harris sense. Finally, the last chapter deals with the construction of chains starting from a kernel satisfying some kind of maximum principle.

The book is an almost self-contained presentation of the most important concepts and results in viability and invariance. The viability of a set K with respect to a given function (or multi-function) F, defined on it, describes the property that, for each initial data in K, the differential equation (or inclusion) driven by that function or multi-function) to have at least one solution. The invariance of a set K with respect to a function (or multi-function) F, defined on a larger set D, is that property which says that each solution of the differential equation (or inclusion) driven by F and issuing in K remains in K, at least for a short time.
The book includes the most important necessary and sufficient conditions for viability starting with Nagumo's Viability Theorem for ordinary differential equations with continuous right-hand sides and continuing with the corresponding extensions either to differential inclusions or to semilinear or even fully nonlinear evolution equations, systems and inclusions. In the latter (i.e. multi-valued) cases, the results (based on two completely new tangency concepts), all due to the authors, are original and extend significantly, in several directions, their well-known classical counterparts.
- New concepts for multi-functions as the classical tangent vectors for functions
- Provides the very general and necessary conditions for viability in the case of differential inclusions, semilinear and fully nonlinear evolution inclusions
- Clarifying examples, illustrations and numerous problems, completely and carefully solved
- Illustrates the applications from theory into practice
- Very clear and elegant style

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties).

The monograph is written with a view to provide basic tools for researchers working in Mathematical Analysis and Applications, concentrating on differential, integral and finite difference equations. It contains many inequalities which have only recently appeared in the literature and which can be used as powerful tools and will be a valuable source for a long time to come. It is self-contained and thus should be useful for those who are interested in learning or applying the inequalities with explicit estimates in their studies.
- Contains a variety of inequalities discovered which find numerous applications in various branches of differential, integral and finite difference equations.
- Many inequalities which have only recently discovered in the literature and can not yet be found in bother book.
- A valuable reference for someone requiring results about inequalities for use in some applications in various other branches of mathematics.
- Will be of interest to researchers working both in pure and applied mathematics and other areas of science and technology, and it could also be used as a text for an advanced graduate course.
- Contains a variety of inequalities discovered which find numerous applications in various branches of differential, integral and finite difference equations
- Valuable reference for someone requiring results about inequalities for use in some applications in various other branches of mathematics
- Highlights pure and applied mathematics and other areas of science and technology

History of Functional Analysis presents functional analysis as a rather complex blend of algebra and topology, with its evolution influenced by the development of these two branches of mathematics. The book adopts a narrower definition-one that is assumed to satisfy various algebraic and topological conditions. A moment of reflections shows that this already covers a large part of modern analysis, in particular, the theory of partial differential equations. This volume comprises nine chapters, the first of which focuses on linear differential equations and the Sturm-Liouville problem. The succeeding chapters go on to discuss the ""crypto-integral"" equations, including the Dirichlet principle and the Beer-Neumann method; the equation of vibrating membranes, including the contributions of Poincare and H.A. Schwarz's 1885 paper; and the idea of infinite dimension. Other chapters cover the crucial years and the definition of Hilbert space, including Fredholm's discovery and the contributions of Hilbert; duality and the definition of normed spaces, including the Hahn-Banach theorem and the method of the gliding hump and Baire category; spectral theory after 1900, including the theories and works of F. Riesz, Hilbert, von Neumann, Weyl, and Carleman; locally convex spaces and the theory of distributions; and applications of functional analysis to differential and partial differential equations. This book will be of interest to practitioners in the fields of mathematics and statistics.

There has been a common perception that computational complexity is a theory of "bad news" because its most typical results assert that various real-world and innocent-looking tasks are infeasible. In fact, "bad news" is a relative term, and, indeed, in some situations (e.g., in cryptography), we want an adversary to not be able to perform a certain task. However, a "bad news" result does not automatically become useful in such a scenario. For this to happen, its hardness features have to be quantitatively evaluated and shown to manifest extensively.
The book undertakes a quantitative analysis of some of the major results in complexity that regard either classes of problems or individual concrete problems. The size of some important classes are studied using resource-bounded topological and measure-theoretical tools. In the case of individual problems, the book studies relevant quantitative attributes such as approximation properties or the number of hard inputs at each length.
One chapter is dedicated to abstract complexity theory, an older field which, however, deserves attention because it lays out the foundations of complexity. The other chapters, on the other hand, focus on recent and important developments in complexity. The book presents in a fairly detailed manner concepts that have been at the centre of the main research lines in complexity in the last decade or so, such as: average-complexity, quantum computation, hardness amplification, resource-bounded measure, the relation between one-way functions and pseudo-random generators, the relation between hard predicates and pseudo-random generators, extractors, derandomization of bounded-error probabilistic algorithms, probabilistically checkable proofs, non-approximability of optimization problems, and others.
The book should appeal to graduate computer science students, and to researchers who have an interest in computer science theory and need a good understanding of computational complexity, e.g., researchers in algorithms, AI, logic, and other disciplines.
-Emphasis is on relevant quantitative attributes of important results in complexity.
-Coverage is self-contained and accessible to a wide audience.
-Large range of important topics including: derandomization techniques, non-approximability of optimization problems, average-case complexity, quantum computation, one-way functions and pseudo-random generators, resource-bounded measure and topology.

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which oenothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of aEUROoecomputableaEURO moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of aEUROoecomputableaEURO . When they all turned out to be equivalent, there was a collective realization that this was indeed the oeright notion. Kleene played a key role in this process. One could say that he was oethere at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.

This book collects 10 mathematical essays on approximation in Analysis and Topology by some of the most influent mathematicians of the last third of the 20th Century. Besides the papers contain the very ultimate results in each of their respective fields, many of them also include a series of historical remarks about the state of mathematics at the time they found their most celebrated results, as well as some of their personal circumstances originating them, which makes particularly attractive the book for all scientist interested in these fields, from beginners to experts. These gem pieces of mathematical intra-history should delight to many forthcoming generations of mathematicians, who will enjoy some of the most fruitful mathematics of the last third of 20th century presented by their own authors.

This book covers a wide range of new mathematical results. Among them, the most advanced characterisations of very weak versions of the classical maximum principle, the very last results on global bifurcation theory, algebraic multiplicities, general dependencies of solutions of boundary value problems with respect to variations of the underlying domains, the deepest available results in rapid monotone schemes applied to the resolution of non-linear boundary value problems, the intra-history of the the genesis of the first general global continuation results in the context of periodic solutions of nonlinear periodic systems, as well as the genesis of the coincidence degree, some novel applications of the topological degree for ascertaining the stability of the periodic solutions of some classical families of periodic second order equations,
the resolution of a number of conjectures related to some very celebrated approximation problems in topology and inverse problems, as well as a number of applications to engineering, an extremely sharp discussion of the problem of approximating topological spaces by polyhedra using various techniques based on inverse systems, as well as homotopy expansions, and the Bishop-Phelps theorem.

Key features:

- It contains a number of seminal contributions by some of the most world leading mathematicians of the second half of the 20th Century.

- The papers cover a complete range of topics, from the intra-history of the involved mathematics to the very last developments in Differential Equations, Inverse Problems, Analysis, Nonlinear Analysis and Topology.

- All contributed papers are self-contained works containing rather complete list of references on each of the subjects covered.

- The book contains some of the very last findings concerning the maximum principle, the theory of monotone schemes in nonlinear problems, the theory of algebraic multiplicities, global bifurcation theory, dynamics of periodic equations and systems, inverse problems and approximation in topology.

- The papers are extremely well written and directed to a wide audience, from beginners to experts. An excellent occasion to become engaged with some of the most fruitful mathematics developed during the last decades.
. It contains a number of seminal contributions by some of the most world leading mathematicians of the second half of the 20th Century.
. The papers cover a complete range of topics, from the intra-history of the involved mathematics to the very last developments in Differential Equations, Inverse Problems, Analysis, Nonlinear Analysis and Topology.
. All contributed papers are self-contained works containing rather complete list of references on each of the subjects covered.
. The book contains some of the very last findings concerning the maximum principle, the theory of monotone schemes in nonlinear problems, the theory of algebraic multiplicities, global bifurcation theory, dynamics of periodic equations and systems, inverse problems and approximation in topology.
. The papers are extremely well written and directed to a wide audience, from beginners to experts. An excellent occasion to become engaged with some of the most fruitful mathematics developed during the last decades."

An Introduction to Homological Algebra discusses the origins of algebraic topology. It also presents the study of homological algebra as a two-stage affair. First, one must learn the language of Ext and Tor and what it describes. Second, one must be able to compute these things, and often, this involves yet another language: spectral sequences. Homological algebra is an accessible subject to those who wish to learn it, and this book is the author's attempt to make it lovable. This book comprises 11 chapters, with an introductory chapter that focuses on line integrals and independence of path, categories and functors, tensor products, and singular homology. Succeeding chapters discuss Hom and ?; projectives, injectives, and flats; specific rings; extensions of groups; homology; Ext; Tor; son of specific rings; the return of cohomology of groups; and spectral sequences, such as bicomplexes, Kunneth Theorems, and Grothendieck Spectral Sequences. This book will be of interest to practitioners in the field of pure and applied mathematics.

Hardbound. This book deals with numerical methods for solving large sparse linear systems of equations, particularly those arising from the discretization of partial differential equations. It covers both direct and iterative methods. Direct methods which are considered are variants of Gaussian elimination and fast solvers for separable partial differential equations in rectangular domains. The book reviews the classical iterative methods like Jacobi, Gauss-Seidel and alternating directions algorithms. A particular emphasis is put on the conjugate gradient as well as conjugate gradient -like methods for non symmetric problems. Most efficient preconditioners used to speed up convergence are studied. A chapter is devoted to the multigrid method and the book ends with domain decomposition algorithms that are well suited for solving linear systems on parallel computers.

Nonlinearity and Functional Analysis is a collection of lectures that aim to present a systematic description of fundamental nonlinear results and their applicability to a variety of concrete problems taken from various fields of mathematical analysis. For decades, great mathematical interest has focused on problems associated with linear operators and the extension of the well-known results of linear algebra to an infinite-dimensional context. This interest has been crowned with deep insights, and the substantial theory that has been developed has had a profound influence throughout the mathematical sciences. This volume comprises six chapters and begins by presenting some background material, such as differential-geometric sources, sources in mathematical physics, and sources from the calculus of variations, before delving into the subject of nonlinear operators. The following chapters then discuss local analysis of a single mapping and parameter dependent perturbation phenomena before going into analysis in the large. The final chapters conclude the collection with a discussion of global theories for general nonlinear operators and critical point theory for gradient mappings. This book will be of interest to practitioners in the fields of mathematics and physics, and to those with interest in conventional linear functional analysis and ordinary and partial differential equations.

A comprehensive one-year graduate (or advanced undergraduate) course in mathematical logic and foundations of mathematics. No previous knowledge of logic is required; the book is suitable for self-study. Many exercises (with hints) are included.

The objective of Volume II is to show how asymptotic methods, with the thickness as the small parameter, indeed provide a powerful means of justifying two-dimensional plate theories. More specifically, without any recourse to any "a priori" assumptions of a geometrical or mechanical nature, it is shown that in the linear case, the three-dimensional displacements, once properly scaled, converge in "H"1 towards a limit that satisfies the well-known two-dimensional equations of the linear Kirchhoff-Love theory; the convergence of stress is also established.

In the nonlinear case, again after "ad hoc" scalings have been performed, it is shown that the leading term of a formal asymptotic expansion of the three-dimensional solution satisfies well-known two-dimensional equations, such as those of the nonlinear Kirchhoff-Love theory, or the von Karman equations. Special attention is also given to the first convergence result obtained in this case, which leads to two-dimensional large deformation, frame-indifferent, nonlinear membrane theories. It is also demonstrated that asymptotic methods can likewise be used for justifying other lower-dimensional equations of elastic shallow shells, and the coupled pluri-dimensional equations of elastic multi-structures, i.e., structures with junctions. In each case, the existence, uniqueness or multiplicity, and regularity of solutions to the limit equations obtained in this fashion are also studied.

Gindis introduces AutoCAD with step by step instructions, stripping away complexities tobegin working in AutoCAD immediately. All concepts are explained first in theory, and then shown in practice, helping the reader understand "what "it is they are doing and why, before they do it.

Divided into three parts, the book covers beginning through advanced AutoCAD, including 3D features.

Also included is an extensive Appendix

for each part, detailing additional useful CAD-related information not often found

in other text books

The book contains supporting graphics (screen shots) and a summary with a self-test section at the end of each chapter. Also included are drawing examples and exercises, and tworunning projects that the student works on as he/she progresses through the chapters .

1) Strips away complexities, both real and perceived and reduces AutoCAD to easy-to-understand basic concepts.

2) Teaches only what is essential to operating AutoCAD first, thereby immediately building student confidence.

3) All basic commands are documented step-by-step, meaning that what the student needs to type in and how AutoCAD responds is all spelled out in discrete and clear steps with screen shots added as needed.

4) Using the author s extensive multi-industry knowledge of what is important and widely used in practice versus what is not, the material is presented by immediately immersing the student in practical, critically essential knowledge, with no padding of text or filler material.

5) All concepts are explained first in theory, and only then is AutoCAD introduced and the actual button pushing discussed. This is one of the key concepts in having students understand exactly what it is they are doing and why, before they do it."

These papers survey the developments in General Topology and the applications of it which have taken place since the mid 1980s. The book may be regarded as an update of some of the papers in the Handbook of Set-Theoretic Topology (eds. Kunen/Vaughan, North-Holland, 1984), which gives an almost complete picture of the state of the art of Set Theoretic Topology before 1984. In the present volume several important developments are surveyed that surfaced in the period 1984-1991.

This volume may also be regarded as a partial update of Open Problems in Topology (eds. van Mill/Reed, North-Holland, 1990). Solutions to some of the original 1100 open problems are discussed and new problems are posed.