This revised and corrected second edition of a classic book on special matrices provides researchers in numerical linear algebra and students of general computational mathematics with an essential reference.
Author Miroslav Fiedler, a Professor at the Institute of Computer Science of the Academy of Sciences of the Czech Republic, Prague, begins with definitions of basic concepts of the theory of matrices and fundamental theorems. In subsequent chapters, he explores symmetric and Hermitian matrices, the mutual connections between graphs and matrices, and the theory of entrywise nonnegative...

This lucid introductory text offers both an analytic and an axiomatic approach to plane projective geometry. The analytic treatment builds and expands upon students' familiarity with elementary plane analytic geometry and provides a well-motivated approach to projective geometry. Subsequent chapters explore Euclidean and non-Euclidean geometry as specializations of the projective plane, revealing the existence of an infinite number of geometries, each Euclidean in nature but characterized by a different set of distance- and angle-measurement formulas. Outstanding pedagogical features include...

One of the clearest available introductions to variational methods, this text requires only a minimal background in calculus and linear algebra. Its self-contained treatment explains the application of theoretic notions to the kinds of physical problems that engineers regularly encounter. The text's first half concerns approximation theoretic notions, exploring the theory and computation of one- and two-dimensional polynomial and other spline functions. Later chapters examine variational methods in the solution of operator equations, focusing on boundary value problems in one and two...

Recursive analysis develops natural number computations into a framework appropriate for real numbers. This text is based upon primary recursive arithmetic and presents a unique combination of classical analysis and intuitional analysis. Written by a master in the field, it is suitable for graduate students of mathematics and computer science and can be read without a detailed knowledge of recursive arithmetic.
Introductory chapters on recursive convergence and recursive and relative continuity are succeeded by explorations of recursive and relative differentiability, the relative...

This classic monograph is the work of a prominent contributor to the field of harmonic analysis. Geared toward advanced undergraduates and graduate students, it focuses on methods related to Gelfand's theory of Banach algebra. Prerequisites include a knowledge of the concepts of elementary modern algebra and of metric space topology.
The first three chapters feature concise, self-contained treatments of measure theory, general topology, and Banach space theory that will assist students in their grasp of subsequent material. An in-depth exposition of Banach algebra follows, along with...

This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic.
Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order...

This classic undergraduate text by an eminent educator acquaints students with the fundamental concepts and methods of mathematics. In addition to introducing many noteworthy historical figures from the eighteenth through the mid-twentieth centuries, the book examines the axiomatic method, set theory, infinite sets, the linear continuum and the real number system, and groups. Additional topics include the Frege-Russell thesis, intuitionism, formal systems, mathematical logic, and the cultural setting of mathematics.
Students and teachers will find that this elegant treatment covers a vast...

This carefully written introductory treatment covers all areas of mainstream formal language theory, including operations on languages, context-sensitive languages, automata, decidability, and syntax analysis, as well as the first complete discussion of derivation languages. It features numerous worked examples, problem exercises, and elegant mathematical proofs for almost all theorems. 1983 edition.