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,

First Page		Document Content
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

	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
	Introduction to the IEEEStandard for Interval Arithmetic DocID: 1xVf8 - View Document
	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