Pages that link to "Item:Q4853341"
From MaRDI portal
The following pages link to USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS (Q4853341):
Displayed 4 items.
- The meaning of infinity in calculus and computer algebra systems (Q2456558) (← links)
- Mechanizing Nonstandard Real Analysis (Q4504968) (← links)
- Automating Side Conditions in Formalized Partial Functions (Q5505512) (← links)
- Automatic derivation of the irrationality of \(e\) (Q5950931) (← links)