设：A,B∈SO3,证明：logABAT=A(logB)AT
1994_Robot sensor calibration solving AX=XB on the Euclidean group
title
