This title explains various rock cutting theories developed for chisel cutters, conical cutters, disc cutters, and button cutters, with numerical examples on the effect of independent variables on dependent variables. The authors also compare theoretical values with experimental results.