Symbolic-Numeric Computation of Posterior Mean and Variance for a Class of Discrete-Time Nonlinear Stochastic Systems | IEEE Conference Publication | IEEE Xplore