USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
From MaRDI portal
Publication:4853341
DOI10.1142/S0129054195000172zbMath0830.68074MaRDI 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
68W30: Symbolic computation and algebraic computation
Related Items
Mechanizing Nonstandard Real Analysis, Automating Side Conditions in Formalized Partial Functions, Automatic derivation of the irrationality of \(e\), The meaning of infinity in calculus and computer algebra systems
Uses Software