<--- Back to Details
First PageDocument Content
Mathematics / Computer arithmetic / Numerical analysis / Applied mathematics / Arithmetic / Interval arithmetic / Computer-assisted proof / Computational science / Scan
Date: 2018-09-08 22:45:08
Mathematics
Computer arithmetic
Numerical analysis
Applied mathematics
Arithmetic
Interval arithmetic
Computer-assisted proof
Computational science
Scan

SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic,

Add to Reading List

Source URL: scan2018.oishi.info.waseda.ac.jp

Download Document from Source Website

File Size: 102,33 KB

Share Document on Facebook

Similar Documents

Numerical analysis / Mathematics / Applied mathematics / Iterative refinement / Iterative method / Interval arithmetic / Newton's method / Condition number / Residual / Root-finding algorithm / Affine arithmetic

Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL)

DocID: 1xVDs - View Document

Computer arithmetic / Mathematics / Numerical analysis / Arithmetic / Interval arithmetic / Interval

Introduction to the IEEEStandard for Interval Arithmetic

DocID: 1xVf8 - View Document

Mathematics / Computer arithmetic / Algebra / Abstract algebra / Abstract interpretation / Interval arithmetic / Two's complement / Interval / Signedness / Logarithm / Modular arithmetic / Division by zero

1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia

DocID: 1xUi8 - View Document

Doc No: N2137=A Proposal to add Interval Arithmetic to the C++ Standard Library (revision 2) Hervé Brönnimann∗

DocID: 1t5ry - View Document

Function Interval Arithmetic Jan Duracz1 , Amin Farjudian2 , Michal Koneˇcný3 , and Walid Taha4 1 , http://duracz.net/jan

DocID: 1sRd8 - View Document