Pages that link to "Item:Q1383757"
From MaRDI portal
The following pages link to A software tool for automatically verified operations on intervals and probability distributions (Q1383757):
Displaying 6 items.
- Interval analysis and automatic result verification (Q350548) (← links)
- Interval probabilities and enclosures (Q382434) (← links)
- A search algorithm for calculating validated reliability bounds (Q868688) (← links)
- Potential based clouds in robust design optimization (Q2431672) (← links)
- Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions (Q4577133) (← links)
- Numerical Software with Result Verification (Q5308360) (← links)