Pages that link to "Item:Q411436"
From MaRDI portal
The following pages link to A generalization of \(p\)-boxes to affine arithmetic (Q411436):
Displaying 4 items.
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Pari-mutuel probabilities as an uncertainty model (Q2005528) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)