Skip to main content
Elsevier

Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

  • Parameter Estimation and Inverse Problems

    • 1st Edition
    • Richard C. Aster + 2 more
    • English
    Parameter Estimation and Inverse Problems primarily serves as a textbook for advanced undergraduate and introductory graduate courses. It promotes a fundamental understanding of parameter estimation and inverse problem philosophy and methodology. It introduces readers to Classical and Bayesian approaches to linear and nonlinear problems, with particular attention to computational, mathematical, and statistical issues related to their application to geophysical problems. Four appendices review foundational concepts in linear algebra, statistics, vector calculus, and notation. Pedagogy includes hundreds of highlighted equations, examples, and definitions; introductory chapter synopses; end-of-chapter exercises, both programming and theoretical; and suggestions for further reading. The text is designed to be accessible to graduate students and professionals in physical sciences without an extensive mathematical background.

  • Introduction to Robust Estimation and Hypothesis Testing

    • 2nd Edition
    • Rand R. Wilcox
    • English
    This revised book provides a thorough explanation of the foundation of robust methods, incorporating the latest updates on R and S-Plus, robust ANOVA (Analysis of Variance) and regression. It guides advanced students and other professionals through the basic strategies used for developing practical solutions to problems, and provides a brief background on the foundations of modern methods, placing the new methods in historical context. Author Rand Wilcox includes chapter exercises and many real-world examples that illustrate how various methods perform in different situations.Introduct... to Robust Estimation and Hypothesis Testing, Second Edition, focuses on the practical applications of modern, robust methods which can greatly enhance our chances of detecting true differences among groups and true associations among variables.

  • Real Analysis with an Introduction to Wavelets and Applications

    • 1st Edition
    • Don Hong + 2 more
    • English
    Real Analysis with an Introduction to Wavelets and Applications is an in-depth look at real analysis and its applications, including an introduction to wavelet analysis, a popular topic in "applied real analysis". This text makes a very natural connection between the classic pure analysis and the applied topics, including measure theory, Lebesgue Integral, harmonic analysis and wavelet theory with many associated applications.

  • Handbook of Complex Analysis

    Geometric Function Theory
    • 1st Edition
    • Reiner Kuhnau
    • English
    Geometric Function Theory is that part of Complex Analysis which covers the theory of conformal and quasiconformal mappings. Beginning with the classical Riemann mapping theorem, there is a lot of existence theorems for canonical conformal mappings. On the other side there is an extensive theory of qualitative properties of conformal and quasiconformal mappings, concerning mainly a prior estimates, so called distortion theorems (including the Bieberbach conjecture with the proof of the Branges). Here a starting point was the classical Scharz lemma, and then Koebe's distortion theorem. There are several connections to mathematical physics, because of the relations to potential theory (in the plane). The Handbook of Geometric Function Theory contains also an article about constructive methods and further a Bibliography including applications eg: to electroxtatic problems, heat conduction, potential flows (in the plane).

  • Mathematics and the Divine

    A Historical Study
    • 1st Edition
    • Teun Koetsier + 1 more
    • English
    Mathematics and the Divine seem to correspond to diametrically opposed tendencies of the human mind. Does the mathematician not seek what is precisely defined, and do the objects intended by the mystic and the theologian not lie beyond definition? Is mathematics not Man's search for a measure, and isn’t the Divine that which is immeasurable ?The present book shows that the domains of mathematics and the Divine, which may seem so radically separated, have throughout history and across cultures, proved to be intimately related. Religious activities such as the building of temples, the telling of ritual stories or the drawing of enigmatic figures all display distinct mathematical features. Major philosophical systems dealing with the Absolute and theological speculations focussing on our knowledge of the Ultimate have been based on or inspired by mathematics. A series of chapters by an international team of experts highlighting key figures, schools and trains of thought is presented here. Chinese number mysticism, the views of Pythagoras and Plato and their followers, Nicholas of Cusa's theological geometry, Spinozism and intuitionism as a philosophy of mathematics are treated side by side among many other themes in an attempt at creating a global view on the relation of mathematics and Man’s quest for the Absolute in the course of history.

  • Control and Optimal Control Theories with Applications

    • 1st Edition
    • D N Burghes + 1 more
    • English
    This sound introduction to classical and modern control theory concentrates on fundamental concepts. Employing the minimum of mathematical elaboration, it investigates the many applications of control theory to varied and important present-day problems, e.g. economic growth, resource depletion, disease epidemics, exploited population, and rocket trajectories. An original feature is the amount of space devoted to the important and fascinating subject of optimal control. The work is divided into two parts. Part one deals with the control of linear time-continuous systems, using both transfer function and state-space methods. The ideas of controllability, observability and minimality are discussed in comprehensible fashion. Part two introduces the calculus of variations, followed by analysis of continuous optimal control problems. Each topic is individually introduced and carefully explained with illustrative examples and exercises at the end of each chapter to help and test the reader’s understanding. Solutions are provided at the end of the book.

  • Visualizing Quaternions

    • 1st Edition
    • Steve Cunningham + 1 more
    • English
    Introduced 160 years ago as an attempt to generalize complex numbers to higher dimensions, quaternions are now recognized as one of the most important concepts in modern computer graphics. They offer a powerful way to represent rotations and compared to rotation matrices they use less memory, compose faster, and are naturally suited for efficient interpolation of rotations. Despite this, many practitioners have avoided quaternions because of the mathematics used to understand them, hoping that some day a more intuitive description will be available.The wait is over. Andrew Hanson's new book is a fresh perspective on quaternions. The first part of the book focuses on visualizing quaternions to provide the intuition necessary to use them, and includes many illustrative examples to motivate why they are important—a beautiful introduction to those wanting to explore quaternions unencumbered by their mathematical aspects. The second part covers the all-important advanced applications, including quaternion curves, surfaces, and volumes. Finally, for those wanting the full story of the mathematics behind quaternions, there is a gentle introduction to their four-dimensional nature and to Clifford Algebras, the all-encompassing framework for vectors and quaternions.

  • Functional Equations in Applied Sciences

    • 1st Edition
    • Volume 199
    • Enrique Castillo + 2 more
    • English
    The book provides the reader with the different types of functional equations that s/he can find in practice, showing, step by step, how they can be solved.A general methodology for solving functional equations is provided in Chapter 2. The different types of functional equations are described and solved in Chapters 3 to 8. Many examples, coming from different fields, as geometry, science, engineering, economics, probability, statistics, etc, help the reader to change his/her mind in order to state problems as functional equations as an alternative to differential equations, and to state new problems in terms of functional equations or systems.An interesting feature of the book is that it deals with functional networks, a powerful generalization of neural networks that allows solving many practical problems. The second part of the book, Chapters 9 to 13, is devoted to the applications of this important paradigm.The book contains many examples and end of chapter exercises, that facilitates the understanding of the concepts and applications.

  • An Introduction to Measure-theoretic Probability

    • 1st Edition
    • George G. Roussas
    • English
    This book provides in a concise, yet detailed way, the bulk of the probabilistic tools that a student working toward an advanced degree in statistics,probabili... and other related areas, should be equipped with. The approach is classical, avoiding the use of mathematical tools not necessary for carrying out the discussions. All proofs are presented in full detail.

  • Handbook of Mathematical Fluid Dynamics

    • 1st Edition
    • Volume 3
    • S. Friedlander + 1 more
    • English
    The Handbook of Mathematical Fluid Dynamics is a compendium of essays that provides a survey of the major topics in the subject. Each article traces developments, surveys the results of the past decade, discusses the current state of knowledge and presents major future directions and open problems. Extensive bibliographic material is provided. The book is intended to be useful both to experts in the field and to mathematicians and other scientists who wish to learn about or begin research in mathematical fluid dynamics. The Handbook illuminates an exciting subject that involves rigorous mathematical theory applied to an important physical problem, namely the motion of fluids.

  • Working Analysis

    • 1st Edition
    • Jeffery Cooper
    • English
    Working Analysis is for a two semester course in advanced calculus. It develops the basic ideas of calculus rigorously but with an eye to showing how mathematics connects with other areas of science and engineering. In particular, effective numerical computation is developed as an important aspect of mathematical analysis.

  • Coherent Systems

    • 1st Edition
    • Volume 2
    • Karl Schlechta
    • English
    One aspect of common sense reasoning is reasoning about normal cases, e.g. a physician will first try to interpret symptoms by a common disease, and will take more exotic possibilities only later into account. Such "normality" can be encoded, e.g. by a relation, where case A is considered more normal than case B. This gives a standard semantics or interpretation to nonmonotonic reasoning (a branch of common sense reasoning), or, more formally, to nonmonotonic logics. We consider in this book the repercussions such normality relations and similar constructions have on the resulting nonmonotonic logics, i.e. which types of logic are adequate for which kind of relation, etc. We show in this book that some semantics correspond nicely to some logics, but also that other semantics do not correspond to any logics of the usual form.

  • Krylov Solvers for Linear Algebraic Systems

    Krylov Solvers
    • 1st Edition
    • Volume 11
    • Charles George Broyden + 1 more
    • English
    The first four chapters of this book give a comprehensive and unified theory of the Krylov methods. Many of these are shown to be particular examples ofthe block conjugate-gradient algorithm and it is this observation thatpermits the unification of the theory. The two major sub-classes of thosemethods, the Lanczos and the Hestenes-Stiefel, are developed in parallel asnatural generalisations of the Orthodir (GCR) and Orthomin algorithms. Theseare themselves based on Arnoldi's algorithm and a generalised Gram-Schmidtalgorith... and their properties, in particular their stability properties,are determined by the two matrices that define the block conjugate-gradiental... These are the matrix of coefficients and the preconditioningmatri... Chapter 5 the"transpose-free" algorithms based on the conjugate-gradient squared algorithm are presented while Chapter 6 examines the various ways in which the QMR technique has been exploited. Look-ahead methods and general block methods are dealt with in Chapters 7 and 8 while Chapter 9 is devoted to error analysis of two basic algorithms.In Chapter 10 the results of numerical testing of the more important algorithms in their basic forms (i.e. without look-ahead or preconditioning) are presented and these are related to the structure of the algorithms and the general theory. Graphs illustrating the performances of various algorithm/problem combinations are given via a CD-ROM.Chapter 11, by far the longest, gives a survey of preconditioning techniques. These range from the old idea of polynomial preconditioning via SOR and ILU preconditioning to methods like SpAI, AInv and the multigrid methods that were developed specifically for use with parallel computers. Chapter 12 is devoted to dual algorithms like Orthores and the reverse algorithms of Hegedus. Finally certain ancillary matters like reduction to Hessenberg form, Chebychev polynomials and the companion matrix are described in a series of appendices.

  • Handbook of Differential Equations: Ordinary Differential Equations

    • 1st Edition
    • Volume 1
    • A. Canada + 2 more
    • English
    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.

  • Functional Analysis and its Applications

    Proceedings of the International Conference on Functional Analysis and its Applications dedicated to the 110th Anniversary of Stefan Banach, May 28-31, 2002, Lviv, Ukraine
    • 1st Edition
    • Volume 197
    • Vladimir Kadets + 1 more
    • English
    The conference took place in Lviv, Ukraine and was dedicated to a famous Polish mathematician Stefan Banach Æ’{ the most outstanding representative of the Lviv mathematical school. Banach spaces, introduced by Stefan Banach at the beginning of twentieth century, are familiar now to every mathematician. The book contains a short historical article and scientific contributions of the conference participants, mostly in the areas of functional analysis, general topology, operator theory and related topics.

  • Reliable Methods for Computer Simulation

    Error Control and Posteriori Estimates
    • 1st Edition
    • Volume 33
    • Pekka Neittaanmäki + 1 more
    • English
    Recent decades have seen a very rapid success in developing numerical methods based on explicit control over approximation errors. It may be said that nowadays a new direction is forming in numerical analysis, the main goal of which is to develop methods ofreliable computations. In general, a reliable numerical method must solve two basic problems: (a) generate a sequence of approximations that converges to a solution and (b) verify the accuracy of these approximations. A computer code for such a method must consist of two respective blocks: solver and checker.In this book, we are chiefly concerned with the problem (b) and try to present the main approaches developed for a posteriori error estimation in various problems.The authors try to retain a rigorous mathematical style, however, proofs are constructive whenever possible and additional mathematical knowledge is presented when necessary. The book contains a number of new mathematical results and lists a posteriori error estimation methods that have been developed in the very recent time.

  • Advances in Computers

    Advances in Software Engineering
    • 1st Edition
    • Volume 62
    • Marvin Zelkowitz
    • English
    Advances in Computers covers new developments in computer technology. Most chapters present an overview of a current subfield within computer science, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This volume emphasizes software engineering issues in the design of new software systems. The use of the new emerging agile methods is presented as well as timeboxing and model based software engineering (MBASE) as techniques to manage large scale developments. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

  • Handbook of Differential Equations: Stationary Partial Differential Equations

    • 1st Edition
    • Michel Chipot + 1 more
    • English
    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.

  • Principles of Mathematical Modeling

    • 2nd Edition
    • Clive Dym
    • English
    Science and engineering students depend heavily on concepts of mathematical modeling. In an age where almost everything is done on a computer, author Clive Dym believes that students need to understand and "own" the underlying mathematics that computers are doing on their behalf. His goal for Principles of Mathematical Modeling, Second Edition, is to engage the student reader in developing a foundational understanding of the subject that will serve them well into their careers. The first half of the book begins with a clearly defined set of modeling principles, and then introduces a set of foundational tools including dimensional analysis, scaling techniques, and approximation and validation techniques. The second half demonstrates the latest applications for these tools to a broad variety of subjects, including exponential growth and decay in fields ranging from biology to economics, traffic flow, free and forced vibration of mechanical and other systems, and optimization problems in biology, structures, and social decision making. Prospective students should have already completed courses in elementary algebra, trigonometry, and first-year calculus and have some familiarity with differential equations and basic physics.

  • Nonmeasurable Sets and Functions

    • 1st Edition
    • Volume 195
    • Alexander Kharazishvili
    • English
    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-meas... cardinals;3. The theory of invariant (quasi-invariant)ext... 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.

  • Advances in Computers

    Architectural Issues
    • 1st Edition
    • Volume 61
    • Marvin Zelkowitz
    • English
    Advances in Computers covers new developments in computer technology. Most chapters present an overview of a current subfield within computer science, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume emphasizes architectural issues in the design of new hardware and software system. An architectural design evaluation process is described that allows developers to make sure that their source programs adhere to the architectural design of the specifications. This greatly aids in the maintenance of the system. Telecommunications issues are covered from the impact of new technology to security of wireless systems. Quantum computing, an exciting development that may greatly increase the speed of present computers, is described. The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

  • Parallel Computational Fluid Dynamics 2003

    Advanced Numerical Methods, Software and Applications
    • 1st Edition
    • Boris Chetverushkin + 3 more
    • English
    The book is devoted to using of parallel multiprocessor computer systems for numerical simulation of the problems which can be described by the equations of continuum mechanics. Parallel algorithms and software, the problems of meta-computing are discussed in details, some results of high performance simulation of modern gas dynamic problems, combustion phenomena, plasma physics etc are presented.

  • Advances in Computers

    Information Security
    • 1st Edition
    • Volume 60
    • Marvin Zelkowitz
    • English
    Advances in Computers covers new developments in computer technology. Most chapters present an overview of a current subfield within computers, with many citations, and often include new developments in the field by the authors of the individual chapters. Topics include hardware, software, theoretical underpinnings of computing, and novel applications of computers. This current volume emphasizes information security issues and includes topics like certifying computer professionals, non-invasive attacks ("cognitive hacking"), computer files as legal evidence ("computer forensics") and the use of processors on plastic ("smartcards"). The book series is a valuable addition to university courses that emphasize the topics under discussion in that particular volume as well as belonging on the bookshelf of industrial practitioners who need to implement many of the technologies that are described.

  • Mathematics of Optimization: Smooth and Nonsmooth Case

    • 1st Edition
    • Giorgio Giorgi + 2 more
    • English
    The book is intended for people (graduates, researchers, but also undergraduates with a good mathematical background) involved in the study of (static) optimization problems (in finite-dimensional spaces). It contains a lot of material, from basic tools of convex analysis to optimality conditions for smooth optimization problems, for non smooth optimization problems and for vector optimization problems.The development of the subjects are self-contained and the bibliographical references are usually treated in different books (only a few books on optimization theory deal also with vector problems), so the book can be a starting point for further readings in a more specialized literature.Assuming only a good (even if not advanced) knowledge of mathematical analysis and linear algebra, this book presents various aspects of the mathematical theory in optimization problems. The treatment is performed in finite-dimensional spaces and with no regard to algorithmic questions. After two chapters concerning, respectively, introductory subjects and basic tools and concepts of convex analysis, the book treats extensively mathematical programming problems in the smmoth case, in the nonsmooth case and finally vector optimization problems.

  • The Rise of Modern Logic: from Leibniz to Frege

    • 1st Edition
    • Volume 3
    • Dov M. Gabbay + 1 more
    • English
    With the publication of the present volume, the Handbook of the History of Logic turns its attention to the rise of modern logic. The period covered is 1685-1900, with this volume carving out the territory from Leibniz to Frege. What is striking about this period is the earliness and persistence of what could be called 'the mathematical turn in logic'. Virtually every working logician is aware that, after a centuries-long run, the logic that originated in antiquity came to be displaced by a new approach with a dominantly mathematical character. It is, however, a substantial error to suppose that the mathematization of logic was, in all essentials, Frege's accomplishment or, if not his alone, a development ensuing from the second half of the nineteenth century. The mathematical turn in logic, although given considerable torque by events of the nineteenth century, can with assurance be dated from the final quarter of the seventeenth century in the impressively prescient work of Leibniz. It is true that, in the three hundred year run-up to the Begriffsschrift, one does not see a smoothly continuous evolution of the mathematical turn, but the idea that logic is mathematics, albeit perhaps only the most general part of mathematics, is one that attracted some degree of support throughout the entire period in question. Still, as Alfred North Whitehead once noted, the relationship between mathematics and symbolic logic has been an "uneasy" one, as is the present-day association of mathematics with computing. Some of this unease has a philosophical texture. For example, those who equate mathematics and logic sometimes disagree about the directionality of the purported identity. Frege and Russell made themselves famous by insisting (though for different reasons) that logic was the senior partner. Indeed logicism is the view that mathematics can be re-expressed without relevant loss in a suitably framed symbolic logic. But for a number of thinkers who took an algebraic approach to logic, the dependency relation was reversed, with mathematics in some form emerging as the senior partner. This was the precursor of the modern view that, in its four main precincts (set theory, proof theory, model theory and recursion theory), logic is indeed a branch of pure mathematics. It would be a mistake to leave the impression that the mathematization of logic (or the logicization of mathematics) was the sole concern of the history of logic between 1665 and 1900. There are, in this long interval, aspects of the modern unfolding of logic that bear no stamp of the imperial designs of mathematicians, as the chapters on Kant and Hegcl make clear. Of the two, Hcgel's influence on logic is arguably the greater, serving as a spur to the unfolding of an idealist tradition in logic - a development that will be covered in a further volume, British Logic in the Nineteenth Century.

  • Encyclopedia of Mathematical Physics

    • 1st Edition
    • Jean-Pierre Françoise + 2 more
    • English
    The Encyclopedia of Mathematical Physics provides a complete resource for researchers, students and lecturers with an interest in mathematical physics. It enables readers to access basic information on topics peripheral to their own areas, to provide a repository of the core information in the area that can be used to refresh the researcher’s own memory banks, and aid teachers in directing students to entries relevant to their course-work. The Encyclopedia does contain information that has been distilled, organised and presented as a complete reference tool to the user and a landmark to the body of knowledge that has accumulated in this domain. It also is a stimulus for new researchers working in mathematical physics or in areas using the methods originating from work in mathematical physics by providing them with focused high quality background information. Editorial Board: Jean-Pierre Françoise, Université Pierre et Marie Curie, Paris, FranceGregory L. Naber, Drexel University, Philadelphia, PA, USATsou Sheung Tsun, University of Oxford, UK Also available online via ScienceDirect (2006) – featuring extensive browsing, searching, and internal cross-referencing between articles in the work, plus dynamic linking to journal articles and abstract databases, making navigation flexible and easy. For more information, pricing options and availability visit www.info.sciencedire...

  • Actuaries' Survival Guide

    How to Succeed in One of the Most Desirable Professions
    • 1st Edition
    • Fred Szabo
    • English
    This unique book is a guide for students and graduates of mathematics, statistics, economics, finance, and other number-based disciplines contemplating a career in actuarial science. Given the comprehensive range of the cases that are analyzed in the book, the Actuaries' Survival Guide can serve as a companion to existing study material for all courses designed to prepare students for actuarial examinations.

  • Infinite Words

    Automata, Semigroups, Logic and Games
    • 1st Edition
    • Volume 141
    • Dominique Perrin + 1 more
    • English
    Infinite Words is an important theory in both Mathematics and Computer Sciences. Many new developments have been made in the field, encouraged by its application to problems in computer science. Infinite Words is the first manual devoted to this topic.Infinite Words explores all aspects of the theory, including Automata, Semigroups, Topology, Games, Logic, Bi-infinite Words, Infinite Trees and Finite Words. The book also looks at the early pioneering work of Büchi, McNaughton and Schützenberger.

  • Greek, Indian and Arabic Logic

    • 1st Edition
    • Volume 1
    • Dov M. Gabbay + 1 more
    • English
    Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central.In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality.Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world.Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value.Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas.

  • Mathematica Navigator

    Mathematics, Statistics, and Graphics
    • 2nd Edition
    • Heikki Ruskeepaa
    • English
    Mathematica Navigator is the only book you need to understand and use the new Mathematica. Part tutorial and part handbook, this updated guidebook provides a thorough introduction to the software plus practical information and tips for using Mathematica on a daily basis to solve mathematical problems. The book emphasizes the use of graphics, methods of applied mathematics and statistics, and programming. While no previous experience with Mathematica is required, most chapters also include advanced material so that the book will be a valuable resource for beginners and experienced users. You'll want to keep it close by your computer for easy reference.

  • Algorithmic Graph Theory and Perfect Graphs

    • 2nd Edition
    • Volume 57
    • Martin Charles Golumbic
    • English
    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.

  • Differential Equations with Mathematica

    • 3rd Edition
    • Martha L. Abell + 1 more
    • English
    The Third Edition of the Differential Equations with Mathematica integrates new applications from a variety of fields,especially biology, physics, and engineering. The new handbook is also completely compatible with recent versions of Mathematica and is a perfect introduction for Mathematica beginners.

  • Advances in Survival Analysis

    • 1st Edition
    • Volume 23
    • Narayanaswamy Balakrishnan + 1 more
    • English
    Handbook of Statistics: Advances in Survival Analysis covers all important topics in the area of Survival Analysis. Each topic has been covered by one or more chapters written by internationally renowned experts. Each chapter provides a comprehensive and up-to-date review of the topic. Several new illustrative examples have been used to demonstrate the methodologies developed. The book also includes an exhaustive list of important references in the area of Survival Analysis.

  • Discrete Mathematics with Applications

    • 1st Edition
    • Thomas Koshy
    • English
    This approachable text studies discrete objects and the relationsips that bind them. It helps students understand and apply the power of discrete math to digital computer systems and other modern applications. It provides excellent preparation for courses in linear algebra, number theory, and modern/abstract algebra and for computer science courses in data structures, algorithms, programming languages, compilers, databases, and computation.

  • Nonlinear Theory of Pseudodifferential Equations on a Half-line

    • 1st Edition
    • Volume 194
    • Nakao Hayashi + 1 more
    • English
    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.

  • Object-Oriented Design with UML and Java

    • 1st Edition
    • Kenneth Barclay + 1 more
    • English
    Object-Oriented Design with UML and Java provides an integrated introduction to object-oriented design with the Unified Modelling Language (UML) and the Java programming language. The book demonstrates how Java applications, no matter how small, can benefit from some design during their construction. Fully road-tested by students on the authors' own courses, the book shows how these complementary technologies can be used effectively to create quality software. It requires no prior knowledge of object orientation, though readers must have some experience of Java or other high level programming language. This book covers object technology; object-oriented analysis and design; and implementation of objects with Java. It includes two case studies dealing with library applications. The UML has been incorporated into a graphical design tool called ROME, which can be downloaded from the book's website. This object modelling environment allows readers to prepare and edit various UML diagrams. ROME can be used alongside a Java compiler to generate Java code from a UML class diagram then compile and run the resulting application for hands-on learning. This text would be a valuable resource for undergraduate students taking courses on O-O analysis and design, O-O modelling, Java programming, and modelling with UML.

  • Mathematica by Example

    • 3rd Edition
    • Martha L. Abell + 1 more
    • English
    This third edition of Mathematica by Example is completely compatible with recent Mathematica versions. Highly readable and informative, this volume is geared toward the beginning Mathematica user, and focuses on the most often used features of this powerful tool. The book covers popular applications of mathematics within different areas including calculus, linear algebra, ordinary differential equations, and partial differential equations.

  • Geometric Computations with Interval and New Robust Methods

    Applications in Computer Graphics, GIS and Computational Geometry
    • 1st Edition
    • H Ratschek + 1 more
    • English
    This undergraduate and postgraduate text will familiarise readers with interval arithmetic and related tools to gain reliable and validated results and logically correct decisions for a variety of geometric computations plus the means for alleviating the effects of the errors. It also considers computations on geometric point-sets, which are neither robust nor reliable in processing with standard methods. The authors provide two effective tools for obtaining correct results: (a) interval arithmetic, and (b) ESSA the new powerful algorithm which improves many geometric computations and makes them rounding error free.

  • Encyclopedia of General Topology

    • 1st Edition
    • K.P. Hart + 2 more
    • English
    This book is designed for the reader who wants to get a general view of the terminology of General Topology with minimal time and effort. The reader, whom we assume to have only a rudimentary knowledge of set theory, algebra and analysis, will be able to find what they want if they will properly use the index. However, this book contains very few proofs and the reader who wants to study more systematically will find sufficiently many references in the book.Key features:• More terms from General Topology than any other book ever published• Short and informative articles• Authors include the majority of top researchers in the field• Extensive indexing of terms

  • Foundations of Complex Analysis in Non Locally Convex Spaces

    Function Theory without Convexity Condition
    • 1st Edition
    • Volume 193
    • A. Bayoumi
    • English
    All the existing books in Infinite Dimensional Complex Analysis focus on the problems of locally convex spaces. However, the theory without convexity condition is covered for the first time in this book. This shows that we are really working with a new, important and interesting field.Theory of functions and nonlinear analysis problems are widespread in the mathematical modeling of real world systems in a very broad range of applications. During the past three decades many new results from the author have helped to solve multiextreme problems arising from important situations, non-convex and non linear cases, in function theory.Foundations of Complex Analysis in Non Locally Convex Spaces is a comprehensive book that covers the fundamental theorems in Complex and Functional Analysis and presents much new material.The book includes generalized new forms of: Hahn-Banach Theorem, Multilinear maps, theory of polynomials, Fixed Point Theorems, p-extreme points and applications in Operations Research, Krein-Milman Theorem, Quasi-differential Calculus, Lagrange Mean-Value Theorems, Taylor series, Quasi-holomorphic and Quasi-analytic maps, Quasi-Analytic continuations, Fundamental Theorem of Calculus, Bolzano's Theorem, Mean-Value Theorem for Definite Integral, Bounding and weakly-bounding (limited) sets, Holomorphic Completions, and Levi problem.Each chapter contains illustrative examples to help the student and researcher to enhance his knowledge of theory of functions.The new concept of Quasi-differentiabil... introduced by the author represents the backbone of the theory of Holomorphy for non-locally convex spaces. In fact it is different but much stronger than the Frechet one.The book is intended not only for Post-Graduate (M.Sc.& Ph.D.) students and researchers in Complex and Functional Analysis, but for all Scientists in various disciplines whom need nonlinear or non-convex analysis and holomorphy methods without convexity conditions to model and solve problems.bull; The book contains new generalized versions of:i) Fundamental Theorem of Calculus, Lagrange Mean-Value Theorem in real and complex cases, Hahn-Banach Theorems, Bolzano Theorem, Krein-Milman Theorem, Mean value Theorem for Definite Integral, and many others.ii) Fixed Point Theorems of Bruower, Schauder and Kakutani's. bull; The book contains some applications in Operations research and non convex analysis as a consequence of the new concept p-Extreme points given by the author.bull; The book contains a complete theory for Taylor Series representations of the different types of holomorphic maps in F-spaces without convexity conditions. bull; The book contains a general new concept of differentiability stronger than the Frechet one. This implies a new Differentiable Calculus called Quasi-differential (or Bayoumi differential) Calculus. It is due to the author's discovery in 1995.bull; The book contains the theory of polynomials and Banach Stienhaus theorem in non convex spaces.

  • Solutions Manual for Elementary Linear Algebra

    • 3rd Edition
    • Stephen Andrilli + 1 more
    • English
    Selected solutions to problems.

  • Handbook of Mathematical Formulas and Integrals

    • 3rd Edition
    • Alan Jeffrey
    • English
    The updated Handbook is an essential reference for researchers and students in applied mathematics, engineering, and physics. It provides quick access to important formulas, relations, and methods from algebra, trigonometric and exponential functions, combinatorics, probability, matrix theory, calculus and vector calculus, ordinary and partial differential equations, Fourier series, orthogonal polynomials, and Laplace transforms. Many of the entries are based upon the updated sixth edition of Gradshteyn and Ryzhik's Table of Integrals, Series, and Products and other important reference works. The Third Edition has new chapters covering solutions of elliptic, parabolic and hyperbolic equations and qualitative properties of the heat and Laplace equation.

  • Intelligent Systems for Information Processing: From Representation to Applications

    • 1st Edition
    • B. Bouchon-Meunier + 2 more
    • English
    Intelligent systems are required to enhance the capacities being made available to us by the internet and other computer based technologies. The theory necessary to help providing solutions to difficult problems in the construction of intelligent systems are discussed. In particular, attention is paid to situations in which the available information and data may be imprecise, uncertain, incomplete or of a linguistic nature. Various methodologies to manage such information are discussed. Among these are the probabilistic, possibilistic, fuzzy, logical, evidential and network-based frameworks.One purpose of the book is not to consider these methodologies separately, but rather to consider how they can be used cooperatively to better represent the multiplicity of modes of information. Topics in the book include representation of imperfect knowledge, fundamental issues in uncertainty, reasoning, information retrieval, learning and mining, as well as various applications.Key Features:• Tools for construction of intelligent systems• Contributions by world leading experts• Fundamental issues and applications• New technologies for web searching• Methods for modeling uncertain information• Future directions in web technologies• Transversal to methods and domains

  • Elementary Linear Algebra

    • 3rd Edition
    • Stephen Andrilli + 1 more
    • English
    The transition to upper-level math courses is often difficult because of the shift in emphasis from computation (in calculus) to abstraction and proof (in junior/senior courses). This book provides guidance with the reading and writing of short proofs, and incorporates a gradual increase in abstraction as the chapters progress. This helps students prepare to meet the challenges of future courses such as abstract algebra and elementary analysis.

  • Recent Advances and Trends in Nonparametric Statistics

    • 1st Edition
    • M.G. Akritas + 1 more
    • English
    The advent of high-speed, affordable computers in the last two decades has given a new boost to the nonparametric way of thinking. Classical nonparametric procedures, such as function smoothing, suddenly lost their abstract flavour as they became practically implementable. In addition, many previously unthinkable possibilities became mainstream; prime examples include the bootstrap and resampling methods, wavelets and nonlinear smoothers, graphical methods, data mining, bioinformatics, as well as the more recent algorithmic approaches such as bagging and boosting. This volume is a collection of short articles - most of which having a review component - describing the state-of-the art of Nonparametric Statistics at the beginning of a new millennium.Key features:• algorithic approaches• wavelets and nonlinear smoothers• graphical methods and data mining• biostatistics and bioinformatics• bagging and boosting• support vector machines• resampling methods

  • Differential Equations, Dynamical Systems, and an Introduction to Chaos

    • 2nd Edition
    • Morris W. Hirsch + 2 more
    • English
    Differential Equations, Dynamical Systems, and an Introduction to Chaos, Second Edition, provides a rigorous yet accessible introduction to differential equations and dynamical systems. The original text by three of the world's leading mathematicians has become the standard textbook for graduate courses in this area. Thirty years in the making, this Second Edition brings students to the brink of contemporary research, starting from a background that includes only calculus and elementary linear algebra. The book explores the dynamical aspects of ordinary differential equations and the relations between dynamical systems and certain fields outside pure mathematics. It presents the simplification of many theorem hypotheses and includes bifurcation theory throughout. It contains many new figures and illustrations; a simplified treatment of linear algebra; detailed discussions of the chaotic behavior in the Lorenz attractor, the Shil'nikov systems, and the double scroll attractor; and increased coverage of discrete dynamical systems. This book will be particularly useful to advanced students and practitioners in higher mathematics.

  • Many-Dimensional Modal Logics: Theory and Applications

    • 1st Edition
    • Volume 148
    • A. Kurucz + 3 more
    • English
    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

  • Handbook of Algebra

    • 1st Edition
    • Volume 3
    • English

  • On Growth, Form and Computers

    • 1st Edition
    • Sanjeev Kumar + 1 more
    • English
    Conceived for both computer scientists and biologists alike, this collection of 22 essays highlights the important new role that computers play in developmental biology research. Essays show how through computer modeling, researchers gain further insight into developmental processes. Featured essays also cover their use in designing computer algorithms to tackle computer science problems in areas like neural network design, robot control, evolvable hardware, and more. Peter Bentley, noted for his prolific research on evolutionary computation, and Sanjeev Kumar head up a respected team to guide readers through these very complex and fascinating disciplines.

  • Mathematics for Multimedia

    • 1st Edition
    • Mladen Victor Wickerhauser
    • English
    Mathematics for Multimedia explains the mathematics behind multimedia applications such as compression, signal processing, and image/video processing. This timely and thoroughly modern text is a rigorous survey of selected results from algebra and analysis, requiring only undergraduate math skills. More specifically, it focuses on when and why modern robust methods provide more accurate results. The topics are 'gems' chosen for their usefulness in understanding and creating application software for multimedia signal processing and communication. The course Mathematics for Multimedia has been offered biennially at Washington University since 1997. It has proved popular with students from sophomores to beginning graduate students who seek an innovative course of rigorous contemporary mathematics with practical applications. For the instructor, the material is divided into six chapters that may be presented in six lecture hours each. Thus, the entire text may be covered in one semester, with time left for examinations and student projects. For the student, there are more than 100 exercises with complete solutions, and numerous example programs in Standard C. Each chapter ends with suggestions for further reading. The book also describes and illustrates easy-to-use software for applying cutting-edge techniques. This book is aimed at a wide audience, including computer science and multimedia students and professors as well as those interested in employing mathematics in multimedia design and implementation.

Related subjects