Archive for the ‘Linear Algebra’ Category

The LLL lattice basis reduction algorithm

Posted by: holdenlee on October 9, 2015

Talk: Proving Mathematical Theorems Using Computers

Posted by: holdenlee on August 19, 2014

Hilbert’s Third Problem

Posted by: holdenlee on October 1, 2010

Cayley-Hamilton Theorem

Posted by: holdenlee on June 1, 2010