Pages that link to "Item:Q1883343"
From MaRDI portal
The following pages link to Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers. (Q1883343):
Displaying 4 items.
- High accuracy and interval arithmetic on multicore processors (Q382438) (← links)
- Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
- Numerical software verification. 9th international workshop, NSV 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (Q509762) (← links)
- (Q4851600) (← links)