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