Mathematical justification of recurrent neural networks with long- and short-term memories | IEEE Conference Publication | IEEE Xplore