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

• Deductive proof of generalized kalman filter recursive formula