USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS

DOI10.1142/S0129054195000172zbMATH Open0830.68074OpenAlexW2052995997MaRDI QIDQ4853341FDOQ4853341

Authors: Michael Beeson 

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

Recommendations

• scientific article; zbMATH DE number 4130388
• Mechanizing Nonstandard Real Analysis
• scientific article; zbMATH DE number 4201687
• scientific article; zbMATH DE number 3979058
• scientific article; zbMATH DE number 1303336

zbMATH Keywords

nonstandard analysisMathpert

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (9)

• Banishing ultrafilters from our consciousness
• Automatic derivation of the irrationality of \(e\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mechanizing Nonstandard Real Analysis
• The meaning of infinity in calculus and computer algebra systems
• Automating Side Conditions in Formalized Partial Functions
• Rigorous error analysis of numerical algorithms via symbolic computations

Uses Software

• Mathpert

This page was built for publication: USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4853341)