The meaning of infinity in calculus and computer algebra systems. Beeson, M. and Wiedijk, F. In Calmet, J.; Benhamou, B.; Caprotti, O.; Henocque, L.; and Sorge, V., editors, Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 2002, Proceedings, pages 246--258.
bibtex   
@inproceedings{ beeson2002-wiedijk,
  author = {Michael Beeson and Freek Wiedijk},
  booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 2002, Proceedings},
  date-added = {2014-11-13 23:20:17 +0000},
  date-modified = {2014-11-14 16:58:12 +0000},
  editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},
  pages = {246--258},
  title = {The meaning of infinity in calculus and computer algebra systems}
}
Downloads: 0