The Mathematics of M-Theory