An introduction to proofs and the axiomatic methods through a study of the vector space axioms. Linear analytic geometry. Linear dependence and independence, subspaces, basis. Inner products. Matrix ...

One more patch (or hardcoded hack, rather) later the ‘Hello World’ example in Fortran was up and running, clearing the way to build the BLAS (Basic Linear Algebra Subprograms) and LAPACK ...

Linear transformations. Linear operators, change of basis, inner product and the diagonalization problem. Quadratic forms. Convex sets and geometric programming, input/output models for an economy, ...