Pages that link to "Item:Q5308360"
From MaRDI portal
The following pages link to Numerical Software with Result Verification (Q5308360):
Displaying 9 items.
- Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (Q509762) (← links)
- Scientific computing with automatic result verification (Q684249) (← links)
- Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers. (Q1883343) (← links)
- Using expert knowledge in solving the seismic inverse problem (Q2382784) (← links)
- Discrete stochastic arithmetic for validating results of numerical software (Q2387785) (← links)
- Computing best-possible bounds for the distribution of a sum of several variables is NP-hard (Q2489265) (← links)
- Fast algorithm for computing the upper endpoint of sample variance for interval data: Case of sufficiently accurate measurements (Q2490454) (← links)
- Computing mean and variance under Dempster-Shafer uncertainty: towards faster algorithms (Q2506950) (← links)
- Runge‐Kutta‐Verfahren vierter Ordnung mit dreimaliger Funktionsberechnung (Q4729342) (← links)