Equivalence of equivalent angle-axis and quaternion rotations
Derivation of equivalent angle-axis rotation matrix
Equivalence of quaternion rotation
Created by Mathematica (September 7, 2003)