祖暅之继承家学，钻研天算之术，早于西方一千多年提出了球体计算公式，被称为“祖式公理”

祖暅之潜心钻研天算之术，首次提出计算球体积的公式，被称为“祖式公理”
梁时任太府卿。从幼继承家学，潜心钻研天算之术。其父精治《大明历》，但由于戴法兴等人的顽固阻挠，在祖冲之生前，始终没有能够施行。

祖冲之死后，经他再三请求，《大明历》终于在梁武帝天监九年(公元510年)正式颁布采用。他还首次得出计算球体积的正确公式。《九章算术》正确解决了圆面积和圆柱体积的计算问题，但关于球体的计算公式却是错误的。刘徽虽已指出，也并未完成这一任务。祖暅之提出：“幂势即同，则积不容异”，即形状不同的物体，只要它们等高处的横截面积相等，那么它们的体积也必然相等。这个计算球体积的公理被称为“祖式公理”。这一结论国外在一千年后才由意大利数学家卡瓦列里提出来。他还制成铜日圭、漏壶等精密观测仪器多种，为后世所取法。他的儿子祖皓再传家学，也长于历法。

祖暅之所提出的球体计算公式早于西方1000多年
祖暅之（生卒不祥），一作祖暅，字景烁。祖冲之之子。范阳遒（今涞水县）人。南北朝时代南朝数学家。梁时任太府卿。自幼承继家学，潜心钻研天算之术。其父精制的《大明历》，由于戴法兴等人的顽固阻挠，在祖冲之生前没有能够施行。祖冲之死后，经祖暅之再三请求，《大明历》终于在梁武帝天监九年（公元510年）正式颁布使用。他还首次得出计算球体积的正确公式。祖暅之提出，形状不同的物体，只要它们等高处的横截面积相等，那么它们等高处的横截面积也必须相等。这个计算球体积的公理被称为“祖氏公理”。这一理论，1000年后才由意大利数学家卡瓦列里提出来。他还制成铜日圭、漏壶等精密观测仪多种，为后人所取法。著有《天文录》，已佚。