## Archive for the ‘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

### Putnam 2011/A2 and writing understandable solutions

Posted by: **holdenlee** on September 13, 2012

### Yoneda’s Lemma

Posted by: **holdenlee** on September 8, 2012

### Newton Sums

Posted by: **holdenlee** on November 22, 2010

### Hilbert’s Third Problem

Posted by: **holdenlee** on October 1, 2010

### B7s 9/13/10

Posted by: **holdenlee** on September 13, 2010

### PftB, 23.14

Posted by: **holdenlee** on July 14, 2010

### Fundamental Theorem of Algebra

Posted by: **holdenlee** on July 2, 2010

### Cayley-Hamilton Theorem

Posted by: **holdenlee** on June 1, 2010