クアドリヴィウムに含まれる学問のうち、天体の運行を観測し理論化するものは何か

クアドリヴィウムに含まれる学問のうち、天体の運行を観測し理論化するものは何か