Deductive proof of generalized kalman filter recursive formula

• 广义卡尔曼滤波递推公式的证明