USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS

DOI10.1142/S0129054195000172MaRDI QIDQ4853341zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

nonstandard analysisMathpert

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

Cited in

(9)

• Banishing ultrafilters from our consciousness
• Automatic derivation of the irrationality of \(e\)
• scientific article; zbMATH DE number 1646230 (Why is no real title available?)
• scientific article; zbMATH DE number 3979058 (Why is no real title available?)
• scientific article; zbMATH DE number 4130388 (Why is no real title available?)
• 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

Describes a project that uses

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)