Intended for the first course in linear algebra, this text balances mathematical techniques and mathematical proofs. It presents theory in small steps, and provides more examples and exercises involving computations than competing texts.[...]