Mathematics of String Dualities