Symbolic Representation and Toolkit Development of Iterated Error-State Extended Kalman Filters on Manifolds | IEEE Journals & Magazine | IEEE Xplore