An Axiomatic Approach to Computer Arithmetic with an Appendix on Interval Hardware

Ulrich W. Kulisch. An Axiomatic Approach to Computer Arithmetic with an Appendix on Interval Hardware. In Roman Wyrzykowski, Jack Dongarra, Konrad Karczewski, Jerzy Wasniewski, editors, Parallel Processing and Applied Mathematics - 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II. Volume 7204 of Lecture Notes in Computer Science, pages 484-495, Springer, 2011. [doi]

@inproceedings{Kulisch11-0,
  title = {An Axiomatic Approach to Computer Arithmetic with an Appendix on Interval Hardware},
  author = {Ulrich W. Kulisch},
  year = {2011},
  doi = {10.1007/978-3-642-31500-8_50},
  url = {http://dx.doi.org/10.1007/978-3-642-31500-8_50},
  researchr = {https://researchr.org/publication/Kulisch11-0},
  cites = {0},
  citedby = {0},
  pages = {484-495},
  booktitle = {Parallel Processing and Applied Mathematics - 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II},
  editor = {Roman Wyrzykowski and Jack Dongarra and Konrad Karczewski and Jerzy Wasniewski},
  volume = {7204},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31499-5},
}