นักดาราศาสตร์แห่งราชวงศ์ซ่ง ศิษย์ของเฉินถวน เชี่ยวชาญในศาสตร์ดาราศาสตร์และคณิตศาสตร์