的体积相等。」此定理今人公认是意大利数学家卡瓦列里(Gavalieri)所创，因而命名，其实早已为祖沖之所应用。历法方面，祖沖之编定「大明历」，在身故后10年为梁朝所采用，取代何承天(370-447)欠准确的旧历。
宋朝.秦九韶的 《数书九章》发展了一元高次方程求数值解的程序化、机械化算法。
金元.元代朱世杰的 《四元玉鉴》发展了多至四元的多项式方程组的消元和求解的算法。
明清.明代朱载堉发明十二平均律时，使用80档大算盘，计算开