@article{769f195a059a473eab02f32da8a0793c,
title = "Numerical validation method for nonlinear equations using interval analysis and rational arithmetic",
keywords = "Krawczyk's interval function, Numerical validation, interval analysis, nonlinear equation, rational arithmetic",
author = "Masahide Kashiwagi and Shin'Ichi Oishi",
year = "1995",
month = jul,
doi = "10.1002/ecjc.4430780711",
language = "English",
volume = "78",
pages = "99--112",
journal = "Electronics and Communications in Japan, Part III: Fundamental Electronic Science (English translation of Denshi Tsushin Gakkai Ronbunshi)",
issn = "1042-0967",
publisher = "John Wiley and Sons Inc.",
number = "7",
}