Using symbolic computation to solve algebraic Riccati equations arising in invariant filtering | IEEE Conference Publication | IEEE Xplore