Efficient conversion from rotating matrix to rotation axis and angle by extending Rodrigues' formula. - Kuo Kan Liang (CoRR, 2018)