* Lect 9-10
  - ldA: leading dimension 
  - from PME to algorithms
  - loop-invariants
  - PME -> dependencies -> loop-invariants
  - loop-inv -> algorithm

  - Original paper: "The science of deriving dense linear algebra algorithms"
    https://dl.acm.org/citation.cfm?id=1055532

  - D.Fabregat's dissertation (Chapter 4):
    "Knowledge-Based Automatic Generation of Linear Algebra Algorithms and Code"
    https://arxiv.org/pdf/1404.3406.pdf

  - Cholesky & LU algortihms
    http://hpac.rwth-aachen.de/~pauldj/pubs/farewell.pdf