Presented in this monograph is the current state-of-the-art in the theory of convex structures. The notion of convexity covered here is considerably broader than the classic one; specifically, it is not restricted to the context of vector spaces. Classical concepts of order-convex sets (Birkhoff) and of geodesically convex sets (Menger) are directly inspired by intuition; they go back to the first half of this century. An axiomatic approach started to develop in the early Fifties. The author became attracted to it in the mid-Seventies, resulting in the present volume, in which graphs appear side-by-side with Banach spaces, classical geometry with matroids, and ordered sets with metric spaces. A wide variety of results has been included (ranging for instance from the area of partition calculus to that of continuous selection). The tools involved are borrowed from areas ranging from discrete mathematics to infinite-dimensional topology.

Although addressed primarily to the researcher, parts of this monograph can be used as a basis for a well-balanced, one-semester graduate course.

The new edition of "Mathematical Modeling," the survey text of choice for mathematical modeling courses, adds ample instructor support and online delivery for solutions manuals and software ancillaries.

From genetic engineering to hurricane prediction, mathematical models guide much of the decision making in our society. If the assumptions and methods underlying the modeling are flawed, the outcome can be disastrously poor. With mathematical modeling growing rapidly in so many scientific and technical disciplines, "Mathematical Modeling, Fourth Edition" provides a rigorous treatment of the subject. The book explores a range of approaches including optimization models, dynamic models and probability models.
Offers increased support for instructors, including MATLAB material as well as other on-line resourcesFeatures new sections on time series analysis and diffusion modelsProvides additional problems with international focus such as whale and dolphin populations, plus updated optimization problems

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:

- admissible or permissible inference rules

- the derivability of the admissible inference rules

- the structural completeness of logics

- the bases for admissible and valid inference rules.

There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered.

The book is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included.

The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook.

Complex Numbers lie at the heart of most technical and scientific subjects. This book can be used to teach complex numbers as a course text,a revision or remedial guide, or as a self-teaching work. The author has designed the book to be a flexible learning tool, suitable for A-Level students as well as other students in higher and further education whose courses include a substantial maths component (e.g. BTEC or GNVQ science and engineering courses). Verity Carr has accumulated nearly thirty years of experience teaching mathematics at all levels and has a rare gift for making mathematics simple and enjoyable. At Brooklands College, she has taken a leading role in the development of a highly successful Mathematics Workshop. This series of Made Simple Maths books widens her audience but continues to provide the kind of straightforward and logical approach she has developed over her years of teaching.

The material collected in this volume discusses the present as well as expected future directions of development of the field with particular emphasis on applications. The seven survey articles present different topics in Evolutionary PDE s, written by leading experts.
- Review of new results in the area
- Continuation of previous volumes in the handbook series covering Evolutionary PDEs
- Written by leading experts

The main purpose of this volume is to provide a new perception of multivariate environmental statistics using some examples that are of concern and interest today. The papers are presented by outstanding research workers. They discuss the current state of the art in different areas of multivariate environmental statistics and provide new problems for future research and instruction. A perspective is to cover a broad spectrum of methods and issues involving multivariate observations and processes, and not just classical multivariate analysis. The book will be valuable to current statistical theory and practice in this area, and will be used by researchers, teachers, and students alike.

This book contains the written versions of lectures delivered since 1997 in the well-known weekly seminar on Applied Mathematics at the College de France in Paris, directed by Jacques-Louis Lions. It is the 14th and last of the series, due to the recent and untimely death of Professor Lions.
The texts in this volume deal mostly with various aspects of the theory of nonlinear partial differential equations. They present both theoretical and applied results in many fields of growing importance such as Calculus of variations and optimal control, optimization, system theory and control, operations research, fluids and continuum mechanics, nonlinear dynamics, meteorology and climate, homogenization and material science, numerical analysis and scientific computations
The book is of interest to everyone from postgraduate, who wishes to follow the most recent progress in these fields.

"18.07"

The aim of this book is to introduce a range of combinatorial methods for those who want to apply these methods in the solution of practical and theoretical problems. Various tricks and techniques are taught by means of exercises. Hints are given in a separate section and a third section contains all solutions in detail. A dictionary section gives definitions of the combinatorial notions occurring in the book.

"Combinatorial Problems and Exercises" was first published in 1979. This revised edition has the same basic structure but has been brought up to date with a series of exercises on random walks on graphs and their relations to eigenvalues, expansion properties and electrical resistance. In various chapters the author found lines of thought that have been extended in a natural and significant way in recent years. About 60 new exercises (more counting sub-problems) have been added and several solutions have been simplified.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,
minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc.
The isomorphism has many aspects, even at the syntactic level:
formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc.
But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms
proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq).
This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.

Key features
- The Curry-Howard Isomorphism treated as common theme
- Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics
- Thorough study of the connection between calculi and logics
- Elaborate study of classical logics and control operators
- Account of dialogue games for classical and intuitionistic logic
- Theoretical foundations of computer-assisted reasoning

. The Curry-Howard Isomorphism treated as the common theme.
. Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics
. Thorough study of the connection between calculi and logics.
. Elaborate study of classical logics and control operators.
. Account of dialogue games for classical and intuitionistic logic.
. Theoretical foundations of computer-assisted reasoning"

In this book, fifteen authors from a wide spectrum of disciplines (ranging from the natural sciences to the arts) offer assessments of the way time enters their work, the definition and uses of time that have proved most productive or problematic, and the lessons their subjects can offer for our understanding of time beyond the classroom and laboratory walls. The authors have tried, without sacrificing analytical rigour, to make their contribution accessible to a cross-disciplinary readership.
Each chapter reviews time's past and present application in its respective field, considers the practical and logical problems that remain, and assesses the methods researchers are using to escape or resolve them. Particular attention is paid to ways in which the technical treatment of time, for problem-solving and model-building around specific phenomena, call on - or clash with - our intuitive perceptions of what time is and does. The spans of time considered range from the fractions of seconds it takes unstable particles to disintegrate to the millions of years required for one species to give way to another. Like all central conceptual words, time is understood on several levels. By inviting input from a broad range of disciplines, the book aims to provide a fuller understanding of those levels, and of the common ground that lurks at their base. Much agreement emerges - not only on the nature of the problems time presents to modern intellectual thought, but also on the clues that recent discoveries may offer towards possible solutions.

The book contains seven survey papers about ordinary differential equations.
The common feature of all papers consists in the fact that nonlinear equations are focused on. This reflects the situation in modern mathematical modelling - nonlinear mathematical models are more realistic and describe the real world problems more accurately. The implications are that new methods and approaches have to be looked for, developed and adopted in order to understand and solve nonlinear ordinary differential equations.
The purpose of this volume is to inform the mathematical community and also other scientists interested in and using the mathematical apparatus of ordinary differential equations, about some of these methods and possible applications.

Algorithmic Graph Theory and Perfect Graphs, first published in 1980, has become the classic introduction to the field. This new Annals edition continues to convey the message that intersection graph models are a necessary and important tool for solving real-world problems. It remains a stepping stone from which the reader may embark on one of many fascinating research trails.
The past twenty years have been an amazingly fruitful period of research in algorithmic graph theory and structured families of graphs. Especially important have been the theory and applications of new intersection graph models such as generalizations of permutation graphs and interval graphs. These have lead to new families of perfect graphs and many algorithmic results. These are surveyed in the new Epilogue chapter in this second edition.
-New edition of the "Classic" book on the topic
-Wonderful introduction to a rich research area
-Leading author in the field of algorithmic graph theory
-Beautifully written for the new mathematician or computer scientist
-Comprehensive treatment

The book could be a good companion for any graduate student in partial differential equations or in applied mathematics. Each chapter brings indeed new ideas and new techniques which can be used in these fields. The differents chapters can be read independently and are of great pedagogical value. The advanced researcher will find along the book the most recent achievements in various fields.
.Independent chapters
.Most recent advances in each fields
.Hight didactic quality
.Self contained
.Excellence of the contributors
.Wide range of topics

This is the unique book on cross-fertilisations between stream ciphers and number theory. It systematically and comprehensively covers known connections between the two areas that are available only in research papers. Some parts of this book consist of new research results that are not available elsewhere. In addition to exercises, over thirty research problems are presented in this book. In this revised edition almost every chapter was updated, and some chapters were completely rewritten. It is useful as a textbook for a graduate course on the subject, as well as a reference book for researchers in related fields.
.Unique book on interactions of stream ciphers and number theory.
.Research monograph with many results not available elsewhere.
.A revised edition with the most recent advances in this subject.
.Over thirty research problems for stimulating interactions between the two areas.
.Written by leading researchers in stream ciphers and number theory.

This new adaptation of Arfken and Weber's bestselling Mathematical Methods for Physicists, Fifth Edition, is the most comprehensive, modern, and accessible reference for using mathematics to solve physics problems.
REVIEWERS SAY: "Examples are excellent. They cover a wide range of physics problems." - Bing Zhou, University of Michigan
"The ideas are communicated very well and it is easy to understand...It has a more modern treatment than most, has a very complete range of topics and each is treated in sufficient detail....I'm not aware of another better book at this level..." -Gary Wysin, Kansas State University
* This is a more accessible version of Arken/Weber's blockbuster reference, which already has more than 13,000 sales worldwide
* Many more detailed, worked-out examples illustrate how to use and apply mathematical techniques to solve physics problems
* More frequent and thorough explanations help readers understand, recall, and apply the theory
* New introductions and review material provide context and extra support for key ideas
* Many more routine problems reinforce basic, foundational concepts and computations

The second edition of this text has sold over 6,000 copies since publication in 1986 and this revision will make it even more useful. This is the only book available that is approachable by "beginners" in this subject. It has become an essential introduction to the subject for mathematics students, engineers, physicists, and economists who need to learn how to apply these vital methods. It is also the only book that thoroughly reviews certain areas of advanced calculus that are necessary to understand the subject.

Line and surface integrals
Divergence and curl of vector fields

An Introduction to Non-Harmonic Fourier Series, Revised Edition is an update of a widely known and highly respected classic textbook.
Throughout the book, material has also been added on recent developments, including stability theory, the frame radius, and applications to signal analysis and the control of partial differential equations.

A collection of problems and solutions in real analysis based on the major textbook, "Principles of Real Analysis" (also by Aliprantis and Burkinshaw), "Problems in Real Analysis" is the ideal companion for senior science and engineering undergraduates and first-year graduate courses in real analysis. It is intended for use as an independent source, and is an invaluable tool for students who wish to develop a deep understanding and proficiency in the use of integration methods.
"Problems in Real Analysis" teaches the basic methods of proof and problem-solving by presenting the complete solutions to over 600 problems that appear in "Principles of Real Analysis, Third Edition." The problems are distributed in forty sections, and cover the entire spectrum of difficulty.

This volume is a thorough introduction to contemporary research in elasticity, and may be used as a working textbook at the graduate level for courses in pure or applied mathematics or in continuum mechanics. It provides a thorough description (with emphasis on the nonlinear aspects) of the two competing mathematical models of three-dimensional elasticity, together with a mathematical analysis of these models. The book is as self-contained as possible.

Chapter 1 presents theorems on differentiable functions often used in differential topology, such as the implicit function theorem, Sard's theorem and Whitney's approximation theorem.
The next chapter is an introduction to real and complex manifolds. It contains an exposition of the theorem of Frobenius, the lemmata of Poincare and Grothendieck with applications of Grothendieck's lemma to complex analysis, the imbedding theorem of Whitney and Thom's transversality theorem.
Chapter 3 includes characterizations of linear differentiable operators, due to Peetre and Hormander. The inequalities of Garding and of Friedrichs on elliptic operators are proved and are used to prove the regularity of weak solutions of elliptic equations. The chapter ends with the approximation theorem of Malgrange-Lax and its application to the proof of the Runge theorem on open Riemann surfaces due to Behnke and Stein.

In this book the authors try to bridge the gap between the treatments of matrix theory and linear algebra. It is aimed at graduate and advanced undergraduate students seeking a foundation in mathematics, computer science, or engineering. It will also be useful as a reference book for those working on matrices and linear algebra for use in their scientific work.

The second edition of "A Course in Real Analysis" provides a solid foundation of real analysis concepts and principles, presenting a broad range of topics in a clear and concise manner. The book is excellent at balancing theory and applications with a wealth of examples and exercises. The authors take a progressive approach of skill building to help students learn to absorb the abstract. Real world applications, probability theory, harmonic analysis, and dynamical systems theory are included, offering considerable flexibility in the choice of material to cover in the classroom. The accessible exposition not only helps students master real analysis, but also makes the book useful as a reference.
* New chapter on Hausdorff Measure and Fractals
* Key concepts and learning objectives give studentsa deeper understanding of the material to enhance learning
* More than 200 examples (not including parts) are used to illustrate definitions and results
* Over 1300 exercises (not including parts) are provided to promote understanding
* Each chapter begins with a brief biography of a famous mathematician"

Essential Computational Modeling for the Human Body presents key contributions selected from the volume in the Handbook of Numerical Analysis: Computational Modeling for the Human Body Vol. 12 (2005).

Computational (Mathematical) Modeling is used by scientists and researchers with various applications in chemical, biological, behavioral, environmental sciences, etc. This guide presents essential research techniques for analysis and essential concrete examples of computational models, while supplying a wide range of commonly used methods and applications, followed by various numerical simulations.

Provides various viewpoints of methods and applications are available for researchers to chose and experiment with; Numerical analysis and open problems useful for experimentation; Computational Models useful for surgery simulations;

Continuum Mechanics is a branch of physical mechanics that describes the macroscopic mechanical behavior of solid or fluid materials considered to be continuously distributed. It is fundamental to the fields of civil, mechanical, chemical and bioengineering. This time-tested text has been used for over 35 years to introduce junior and senior-level undergraduate engineering students, as well as graduate students, to the basic principles of continuum mechanics and their applications to real engineering problems. The text begins with a detailed presentation of the coordinate invariant quantity, the tensor, introduced as a linear transformation. This is then followed by the formulation of the kinematics of deformation, large as well as very small, the description of stresses and the basic laws of continuum mechanics. As applications of these laws, the behaviors of certain material idealizations (models) including the elastic, viscous and viscoelastic materials, are presented.

This new edition offers expanded coverage of the subject matter both in terms of details and contents, providing greater flexibility for either a one or two-semester course in either continuum mechanics or elasticity. Although this current edition has expanded the coverage of the subject matter, it nevertheless uses the same approach as that in the earlier editions - that one can cover advanced topics in an elementary way that go from simple to complex, using a wealth of illustrative examples and problems. It is, and will remain, one of the most accessible textbooks on this challenging engineering subject.
Significantly expanded coverage of elasticity in Chapter 5, including solutions of some 3-D problems based on the fundamental potential functions approach.

New section at the end of Chapter 4 devoted to the integral formulation of the field equations

Seven new appendices appear at the end of the relevant chapters to help make each chapter more self-contained

Expanded and improved problem sets providing both intellectual challenges and engineering applications