He also gave his name to a theorem in spherical trigonometry, and his criticisms of Ptolemy 's Almagest are well known.
Siya rin ang ibinigay ng kanyang pangalan sa isang teorama sa pabilog trigonometrya, at ang kanyang mga criticisms ng mga Ptolemy 's Almagest ay well-kilala.