The meaning of infinity in calculus and computer algebra systems

DOI10.1016/j.jsc.2004.12.002zbMath1126.68099OpenAlexW2135750745MaRDI QIDQ2456558

Freek Wiedijk, Michael J. Beeson

Publication date: 19 October 2007

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2004.12.002

zbMATH Keywords

limitsinterval arithmeticcomputer algebranonstandard analysissemanticsfiltersinfinityhigh school calculus

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (2)

Unnamed Item ⋮ Flat matching

Uses Software

• Maple
• Mathematica
• MathXpert
• Mathpert

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computer-human interaction in symbolic computation. With a foreword by D. S. Scott
• Reasoning about the elementary functions of complex analysis
• USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS

This page was built for publication: The meaning of infinity in calculus and computer algebra systems