Skip to main content
View Cart

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.

  • 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.

  • 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.

  • Stochastic Local Search

    Foundations and Applications
    • 1st Edition
    • Holger H. Hoos + 1 more
    • English
    Stochastic local search (SLS) algorithms are among the most prominent and successful techniques for solving computationally difficult problems in many areas of computer science and operations research, including propositional satisfiability, constraint satisfaction, routing, and scheduling. SLS algorithms have also become increasingly popular for solving challenging combinatorial problems in many application areas, such as e-commerce and bioinformatics.Hoos and Stützle offer the first systematic and unified treatment of SLS algorithms. In this groundbreaking new book, they examine the general concepts and specific instances of SLS algorithms and carefully consider their development, analysis and application. The discussion focuses on the most successful SLS methods and explores their underlying principles, properties, and features. This book gives hands-on experience with some of the most widely used search techniques, and provides readers with the necessary understanding and skills to use this powerful tool.

  • 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 MRI Pulse Sequences

    • 1st Edition
    • Matt A. Bernstein + 2 more
    • English
    Magnetic Resonance Imaging (MRI) is among the most important medical imaging techniques available today. There is an installed base of approximately 15,000 MRI scanners worldwide. Each of these scanners is capable of running many different "pulse sequences", which are governed by physics and engineering principles, and implemented by software programs that control the MRI hardware. To utilize an MRI scanner to the fullest extent, a conceptual understanding of its pulse sequences is crucial. Handbook of MRI Pulse Sequences offers a complete guide that can help the scientists, engineers, clinicians, and technologists in the field of MRI understand and better employ their scanner.

  • Handbook of Differential Equations: Evolutionary Equations

    • 1st Edition
    • Volume 1
    • C.M. Dafermos + 1 more
    • English
    This book contains several introductory texts concerning the main directions in the theory of evolutionary partial differential equations. The main objective is to present clear, rigorous,and in depth surveys on the most important aspects of the present theory. The table of contents includes: W.Arendt: Semigroups and evolution equations: Calculus, regularity and kernel estimatesA.Bressan: The front tracking method for systems of conservation lawsE.DiBenedetto, J.M.Urbano,V.Vespri: Current issues on singular and degenerate evolution equations;L.Hsiao, S.Jiang: Nonlinear hyperbolic-parabolic coupled systemsA.Lunardi: Nonlinear parabolic equations and systemsD.Serre:L1-st... of nonlinear waves in scalar conservation laws B.Perthame:Kinetic formulations of parabolic and hyperbolic PDE’s: from theory to numerics

  • 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.

Related subjects