Implementation of finite difference method based on explicit and Crank-Nicolson method to the thermomechanical ice sheet model | IEEE Conference Publication | IEEE Xplore