3 ▁to ▁n = 9 , ▁which ▁is ▁now ▁known ▁as ▁Caval ieri ' s ▁quadr ature ▁formula . ▁▁▁ ▁Work ▁in ▁Astronom y ▁ ▁Tow ards ▁the ▁end ▁of ▁his ▁life , ▁Caval ieri ▁published ▁two ▁books ▁on ▁astronom y . ▁While ▁they ▁use ▁the ▁language ▁of ▁ast ro log y , ▁he ▁states ▁in ▁the ▁text ▁that ▁he ▁did ▁not ▁believe ▁in ▁or ▁practice ▁ast ro log y . ▁Those ▁books ▁were ▁the ▁Nu ova ▁pr atica ▁ast rom log ica ▁( 1 6 3 9 ) ▁and ▁the ▁Tr att ato ▁della ▁ru ota ▁planet aria ▁perpet ua ▁( 1 6 4 6 ). ▁Other ▁Work ▁ ▁He ▁published ▁tables ▁of ▁log arith ms , ▁emphas izing ▁their ▁practical ▁use ▁in ▁the ▁fields ▁of ▁astronom y ▁and ▁ge ography . ▁ ▁Caval ieri ▁also ▁constructed ▁a ▁hyd ra ul ic ▁p ump ▁for ▁a ▁monaster y ▁he ▁was ▁in ▁management ▁of . ▁The ▁Duke ▁of ▁Mant ua ▁obtained ▁one ▁similar . ▁ ▁Leg acy ▁ ▁According ▁to ▁G illes - G ast on ▁Gr anger , ▁Caval ieri ▁belongs ▁with ▁Newton , ▁Le ib n iz , ▁Pascal , ▁Wall is ▁and ▁Mac La ur in ▁as ▁one ▁of ▁those ▁who ▁in ▁the ▁ 1 7 th ▁and ▁ 1 8 th ▁centuries ▁" re define [ d ] ▁the ▁mathematical ▁object ". ▁ ▁The ▁lun ar ▁cr ater ▁Caval er ius ▁is ▁named ▁for ▁Caval ieri . ▁ ▁See ▁also ▁Evangel ista ▁Tor ric elli ▁Stef ano ▁degli ▁Ang