The Meaning of Infinity in Calculus and Computer Algebra Systems

Beeson, M ; F. Wiedijk

Artificial Intelligence, Automated Reasoning, and Symbolic Computatiation, Proceedings of the Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, Springer LNAI 2385, 246-258, 2002

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:20 CET 2007.