カービー計算
数学の位相幾何学の分野において、カービー計算("Kirby calculus")とは、3次元球面内の枠つき絡み目を カービー移動と呼ばれる有限種類の移動で変形する手法である。その名前は手法の開発者であるにちなむ。彼は四次元のを用いて次の事実を証明した。三次元多様体 "M" と "N" がそれぞれ枠付き絡み目 "L" と "J" に沿ったデーン手術によって得られるとき、それらが位相同型であるための必要十分条件は "L" と "J" がカービー移動の列で写りあうことである。によると、任意の閉向き付け可能な三次元多様体は 3次元球面の中の絡み目に沿った手術で得られる。