《九章算术・商功》：「斜解立方，得两堑堵。斜解堑堵，其一爲阳马，一爲鳖臑。阳马居二，鳖臑居一，不易之率也。合两鳖臑三而一，验之以棋，其形露矣。」
刘徽注：「此术臑者，背节也，或曰半阳马，其形有似鳖肘，故以名云。中破阳马，得两鳖臑，鳖臑之起数，数同而实据半，故云六而一即得。」
宋 沈括《梦溪笔谈・技艺》：「算术求积尺之法，如刍萌、刍童、方池、冥谷、堑堵、鳖臑、圆锥、阳马之类，物形备矣，独未有隙积一术。」