I. Introduction
GNSS (Global Navigation Satellite System) has been widely used in various situations thanks to its convenience and usefulness. In particular, it allows user position estimation based on nonlinear equations. For solving these nonlinear position equations, two techniques are widely discussed and applied in the literature: nonlinear least squares [1]-[4] and the Extended Kalman filter (EKF) [5]-[9]. This paper emphasizes the EKF for determination of GNSS receiver position.