The meaning of infinity in calculus and computer algebra systems. Beeson, M. & Wiedijk, F. Journal of Symbolic Computation, 39(5):523-538, 2005.
The meaning of infinity in calculus and computer algebra systems [pdf]Pdf  bibtex   7 downloads  

Downloads: 7