Add Chinese remainder theorem, discrete log, discrete root. Update index.html