单项选择题 （）的阿拉伯文献中记载了阿布·韦发模型。

单项选择题 祖暅利用牟合方盖求出了（）。

单项选择题 卡瓦列里的（）使得他解决了球体积的问题，也促进了微积分的发展。