1. Grobner Basis
2. Lattices - Introduction.

Many proofs still needs to be completed.