%0 Conference Paper %1 conf/esop/KawabataI16 %A Kawabata, Hideyuki %A Iwasaki, Hideya %B ESOP %D 2016 %E Thiemann, Peter %I Springer %K dblp %P 390-418 %T Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations. %U http://dblp.uni-trier.de/db/conf/esop/esop2016.html#KawabataI16 %V 9632 %@ 978-3-662-49497-4

@inproceedings{conf/esop/KawabataI16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Kawabata, Hideyuki and Iwasaki, Hideya}, biburl = {https://www.bibsonomy.org/bibtex/2cb992583426509ff9bfba4c035773ee0/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2016}, editor = {Thiemann, Peter}, ee = {https://doi.org/10.1007/978-3-662-49498-1_16}, interhash = {7176758ecbb022ff1474cee74dca1ed1}, intrahash = {cb992583426509ff9bfba4c035773ee0}, isbn = {978-3-662-49497-4}, keywords = {dblp}, pages = {390-418}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-24T11:39:54.000+0100}, title = {Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2016.html#KawabataI16}, volume = 9632, year = 2016 }