Thiên văn học Hàn Lâm Đại Tống, học trò của Trần Đoàn, chuyên nghiên cứu lý thuyết thiên văn và thuật số.