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 ...

Files fv_coercivity_bound - function alpha = fv_coercivity_bound(params) fv_conv_diff - function fv_conv_diff(grid,params) fv_conv_diff_step - function NU = fv_conv ...