《九章算术·商功》：“芻童、曲池、盘池、冥谷，皆同术。”

宋 沉括 《梦溪笔谈·技艺》：“算术求积尺之法，如芻萌、芻童、方池、冥谷、堑堵、鳖臑、圆锥、阳马之类，物形备矣，独未有隙积一术。”