The meaning of infinity in calculus and computer algebra systems. Beeson, M. & Wiedijk, F. In Calmet, J., Benhamou, B., Caprotti, O., Henocque, L., & 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