Presentation 1996/7/27
Guaranteeing Accuracy Library by C++ Language and Floating Point Number
Yoshimasa KAMOI, Hideaki NUMANAMI, Shin'ichi OISHI,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) We have developed C++ class library for numerical calculation with guaranteed accuracy, using floating point number. In this library, the numerical rounding direction of the float-ing point number arithmetic is changed suitably in interval operations in order to include the result of exact real number arithmetic in a unifield way. We have developed various libraries for the numerical calcurations with guaranteed accuracy. Numerical examples are also presented for illustrations.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Numerical Validation / Self Validating System / Krawczyk's Interval Mapping
Paper # NLP-96-46
Date of Issue

Conference Information
Committee NLP
Conference Date 1996/7/27(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Nonlinear Problems (NLP)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Guaranteeing Accuracy Library by C++ Language and Floating Point Number
Sub Title (in English)
Keyword(1) Numerical Validation
Keyword(2) Self Validating System
Keyword(3) Krawczyk's Interval Mapping
1st Author's Name Yoshimasa KAMOI
1st Author's Affiliation School of Science and Engineering, Waseda University()
2nd Author's Name Hideaki NUMANAMI
2nd Author's Affiliation School of Science and Engineering, Waseda University
3rd Author's Name Shin'ichi OISHI
3rd Author's Affiliation School of Science and Engineering, Waseda University
Date 1996/7/27
Paper # NLP-96-46
Volume (vol) vol.96
Number (no) 208
Page pp.pp.-
#Pages 8
Date of Issue