He is also known for working with the Chinese remainder theorem, Heron's formula, and astronomical data used in determining the winter solstice.
El este cunoscut și pentru lucrul cu teorema chinezească a resturilor, formula lui Heron, și datele astronomice utilizate în determinarea datei solstițiului de iarnă.