This is an introductory textbook designed for undergraduate mathematics majors with an emphasis on abstraction and in particular, the concept of proofs in the setting of linear algebra. Typically such a student would have taken calculus, though the only prerequisite is suitable mathematical grounding. The purpose of this book is to bridge the gap between the more conceptual and computational oriented undergraduate classes to the more abstract oriented classes. The book begins with systems of linear equations and complex numbers, then relates these to the abstract notion of linear maps on finite-dimensional vector spaces, and covers diagonalization, eigenspaces, determinants, and the Spectral Theorem. Each chapter concludes with both proof-writing and computational exercises.

"The text is suitable for a typical introductory algebra course, and was developed to be used flexibly. While the breadth of topics may go beyond what an instructor would cover, the modular approach and the richness of content ensures that the book meets the needs of a variety of programs."--Page 1.

Elementary Linear Algebra develops and explains in careful detail the computational techniques and fundamental theoretical results central to a first course in linear algebra. This highly acclaimed text focuses on developing the abstract thinking essential for further mathematical study The authors give early, intensive attention to the skills necessary to make students comfortable with mathematical proofs. The text builds a gradual and smooth transition from computational results to general theory of abstract vector spaces. It also provides flexbile coverage of practical applications, exploring a comprehensive range of topics. Ancillary list:* Maple Algorithmic testing- Maple TA- www.maplesoft.com - Includes a wide variety of applications, technology tips and exercises, organized in chart format for easy reference - More than 310 numbered examples in the text at least one for each new concept or application - Exercise sets ordered by increasing difficulty, many with multiple parts for a total of more than 2135 questions - Provides an early introduction to eigenvalues/eigenvectors - A Student solutions manual, containing fully worked out solutions and instructors manual available

The sparse backslash book. Everything you wanted to know but never dared to ask about modern direct linear solvers. Chen Greif, Assistant Professor, Department of Computer Science, University of British Columbia.Overall, the book is magnificent. It fills a long-felt need for an accessible textbook on modern sparse direct methods. Its choice of scope is excellent John Gilbert, Professor, Department of Computer Science, University of California, Santa Barbara.Computational scientists often encounter problems requiring the solution of sparse systems of linear equations. Attacking these problems efficiently requires an in-depth knowledge of the underlying theory, algorithms, and data structures found in sparse matrix software libraries. Here, Davis presents the fundamentals of sparse matrix algorithms to provide the requisite background. The book includes CSparse, a concise downloadable sparse matrix package that illustrates the algorithms and theorems presented in the book and equips readers with the tools necessary to understand larger and more complex software packages.With a strong emphasis on MATLAB and the C programming language, Direct Methods for Sparse Linear Systems equips readers with the working knowledge required to use sparse solver packages and write code to interface applications to those packages. The book also explains how MATLAB performs its sparse matrix computations.Audience This invaluable book is essential to computational scientists and software developers who want to understand the theory and algorithms behind modern techniques used to solve large sparse linear systems. The book also serves as an excellent practical resource for students with an interest in combinatorial scientific computing.Preface; Chapter 1: Introduction; Chapter 2: Basic algorithms; Chapter 3: Solving triangular systems; Chapter 4: Cholesky factorization; Chapter 5: Orthogonal methods; Chapter 6: LU factorization; Chapter 7: Fill-reducing orderings; Chapter 8: Solving sparse linear systems; Chapter 9: CSparse; Chapter 10: Sparse matrices in MATLAB; Appendix: Basics of the C programming language; Bibliography; Index.

"This text covers a standard first course : Gauss's method, vector spaces, linear maps and matrices, determinants, and eigenvalues and eigenvectors. In addition, each chapter ends with some topics such as brief applications. What sets it apart is careful motivation, many examples, and extensive exercise sets. Together these help each student master the material of this course, and also help an instructor develop that student's level of mathematical maturity. This book has been available online for many years and is widely used, both in classrooms and for self-study. It is supported by worked answers for all exercises, beamer slides for classroom use, and a lab manual of computer work"--Page 4 of cover.