Rotational KE: K_rot = (1/2)I*omega^2

Work done by torque: W = tau * theta (for constant torque), or W = integral(tau * d(theta))

Work-Energy Theorem (rotational): W_net = (1/2)Iomega_f^2 - (1/2)Iomega_i^2

Power: P = tau * omega

Analogy check: Every translational formula has a rotational twin — just replace m->I, v->omega, F->tau, s->theta, p->L.