《舊唐書》

後劉洪、蔡伯喈、何承天、祖沖之，皆數術之精粹者，至於宣考曆書之際，猶爲橫議所排。