Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
164,112
result(s) for
"Mathematics, general"
Sort by:
Reverse mathematics : proofs from the inside out
\"This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the \"right axioms\" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the \"right axiom\" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. \"-- Provided by publisher.
Book
The reflective Lorentzian lattices of rank 3
The author classifies all the symmetric integer bilinear forms of signature $(2,1)$ whose isometry groups are generated up to finite index by reflections. There are 8,595 of them up to scale, whose 374 distinct Weyl groups fall into 39 commensurability classes. This extends Nikulin's enumeration of the strongly square-free cases. The author's technique is an analysis of the shape of the Weyl chamber, followed by computer work using Vinberg's algorithm and a ``method of bijections''. He also corrects a minor error in Conway and Sloane's definition of their canonical $2$-adic symbol.
eBook
Problems with a point : exploring math and computer science
\"Ever notice how people sometimes use math words inaccurately? Or how sometimes you instinctively know a math statement is false (or not known)? Each chapter of this book makes a point like those above and then illustrates the point by doing some real mathematics through step-by-step mathematical techniques. This book gives readers valuable information about how mathematics and theoretical computer science work, while teaching them some actual mathematics and computer science through examples and exercises. Much of the mathematics could be understood by a bright high school student. The points made can be understood by anyone with an interest in math, from the bright high school student to a Field's medal winner.\"-- Provided by publisher.
Book
Matrices, Moments and Quadrature with Applications
This computationally oriented book describes and explains the mathematical relationships among matrices, moments, orthogonal polynomials, quadrature rules, and the Lanczos and conjugate gradient algorithms. The book bridges different mathematical areas to obtain algorithms to estimate bilinear forms involving two vectors and a function of the matrix. The first part of the book provides the necessary mathematical background and explains the theory. The second part describes the applications and gives numerical examples of the algorithms and techniques developed in the first part.
Applications addressed in the book include computing elements of functions of matrices; obtaining estimates of the error norm in iterative methods for solving linear systems and computing parameters in least squares and total least squares; and solving ill-posed problems using Tikhonov regularization.
This book will interest researchers in numerical linear algebra and matrix computations, as well as scientists and engineers working on problems involving computation of bilinear forms.
eBook
Electromagnetics, control and robotics : a problems & solutions approach
This book covers a variety of problems, and offers solutions to some, in: Statistical state and parameter estimation in nonlinear stochastic dynamical system in both the classical and quantum scenarios Propagation of electromagnetic waves in a plasma as described by the Boltzmann Kinetic Transport Equation Classical and Quantum General Relativity It will be of use to Engineering undergraduate students interested in analysing the motion of robots subject to random perturbation, and also to research scientists working in Quantum Filtering.
Book
The shape of congruence lattices
We develop the theories of the strong commutator, the rectangular commutator, the strong rectangular commutator, as well as a
solvability theory for the nonmodular TC commutator. These theories are used to show that each of the following sets of statements are
equivalent for a variety
We prove that a
residually small variety that satisfies a congruence identity is congruence modular.
eBook
A functional start to computing with Python / Ted Herman
\"Open source and easy to use, Python offers the availability of exciting libraries of software, application programming interfaces, and even connections to web services. This textbook uses Python as a working environment to teach the basics of computing for students with no prior programming experience. Unlike similar texts, it organizes topics based on a functional first approach to teaching programming. The book includes case studies of practical problems as well as homework and interactive tools online, such as flashcards\"-- Provided by publisher.
Book
Particle Swarm Optimisation
Helping readers numerically solve optimization problems, this book focuses on the fundamental principles and applications of PSO and QPSO algorithms. The authors develop their novel QPSO algorithm, a PSO variant motivated from quantum mechanics, and show how to implement it in real-world applications, including inverse problems, digital filter d.
eBook
Triangulated categories
The first two chapters of this book offer a modern, self-contained exposition of the elementary theory of triangulated categories and their quotients. The simple, elegant presentation of these known results makes these chapters eminently suitable as a text for graduate students. The remainder of the book is devoted to new research, providing, among other material, some remarkable improvements on Brown's classical representability theorem. In addition, the author introduces a class of triangulated categories\"--the \"well generated triangulated categories\"--and studies their properties. This exercise is particularly worthwhile in that many examples of triangulated categories are well generated, and the book proves several powerful theorems for this broad class. These chapters will interest researchers in the fields of algebra, algebraic geometry, homotopy theory, and mathematical physics.
eBook