Numerical calculations - Congresses. - Verification

Scientific computing, computer arithmetic, and validated numerics = 16th International Symposium, SCAN 2014, Wurzburg, Germany, September 21-26, 2014 : revised selected papers / by: (Electronic resources)

Computer Science, general.

Numerical calculations- Verification

Electronic data processing- Reliability

Computer Science.

Science- Data processing