You might find the following Notices of the AMS interesting: † Braverman & Cook's Computing over the reals: foundations for scientific computing (2006) † Blum's Computing over the reals: where Turing meets Newton (2004)
↧