Pages that link to "Item:Q5308344"
From MaRDI portal
The following pages link to Numerical Software with Result Verification (Q5308344):
Displaying 5 items.
- Nonlinear transformations for the simplification of unconstrained nonlinear optimization problems (Q301110) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Computations with effective real numbers (Q817859) (← links)
- Principles of verified numerical integration (Q861893) (← links)
- On asymptotic extrapolation (Q1023265) (← links)
