5 thoughts on “Computing with real numbers

  1. I looked at the paper more closely today, and it’s not very impressive. It seems like an introduction to their preferred approach, and not anything particularly new.

  2. I think from a theoretical point of view their approach is equivalent to the lazy evaluation approach. Their contrasting with a different model of computation where you can do real arithmetic with infinite precision.

  3. While I’ve just started reading this, I think it probably merits some attention, especially because of the pedigree of the author (Stephen Cook – NP completeness)

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>