《九章算术・商功》：「刍童、曲池、盘池、冥谷，皆同术。」
宋 沈括《梦溪笔谈・技艺》：「算术求积尺之法，如刍萌、刍童、方池、冥谷、堑堵、鳖臑、圆锥、阳马之类，物形备矣，独未有隙积一术。」