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)

Comments are closed.