USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
From MaRDI portal
Publication:4853341
DOI10.1142/S0129054195000172zbMath0830.68074OpenAlexW2052995997MaRDI QIDQ4853341
Publication date: 29 October 1995
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054195000172
Related Items (4)
The meaning of infinity in calculus and computer algebra systems ⋮ Automatic derivation of the irrationality of \(e\) ⋮ Automating Side Conditions in Formalized Partial Functions ⋮ Mechanizing Nonstandard Real Analysis
Uses Software
This page was built for publication: USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
