Wide-angle projection lens for image projection system | IEEE Conference Publication | IEEE Xplore