Skip to content
Side 220Side Studies / Research

Subject

Numerical Linear Algebra

Purpose

Linear systems, eigenproblems and matrix factorizations studied through algorithms, conditioning, stability and finite-precision computation.

Structure

05 movesFormal systemV0

Definitions → structures → relations → proof → application

01 · Model

Separate exact linear algebra from computed linear algebra.

Numerical linear algebra asks not only whether a matrix problem has a solution, but whether that solution can be computed accurately and efficiently on real hardware.

01

Linear systems

Solve Ax=b through direct and iterative methods while tracking sparsity, scale and structure.

02

Factorizations

Use LU, QR, Cholesky and related decompositions to expose stable computational pathways.

03

Conditioning

Measure how sensitive a problem's exact solution is to perturbations in data.

04

Stability

Analyze how an algorithm amplifies rounding and approximation error beyond the underlying problem sensitivity.

05

Eigen & singular-value problems

Compute dominant modes, ranks and low-dimensional structure using algorithms suited to dense or sparse matrices.

02 · Distinctions

Keep the boundaries visible.

Do not conflate

conditioning ≠ algorithm stability

Do not conflate

exact arithmetic ≠ floating-point arithmetic

Do not conflate

small residual ≠ small solution error

03 · Questions

Questions that organize the Side.

01

How can a numerically stable algorithm still produce an inaccurate answer?

02

Why is QR often preferred to normal equations in least squares?

03

How do matrix structure and sparsity change algorithm choice?

04 · Evidence

What should carry weight here?

Report residuals, conditioning and convergence behavior; numerical agreement alone is weak evidence when the problem is ill-conditioned.