Formalizing the Cholesky Factorization Theorem.

Carl Kwan, Warren A. Hunt Jr.

Browse the full ITP paper archive.