Solution of limit problems with symbolic computation | IEEE Conference Publication | IEEE Xplore