Publisher
Springer International Publishing
Reference60 articles.
1. Bishop, E., Bridges, D.: Constructive Analysis. Springer (1985)
2. Braverman, M., Cook, S.: Computing over the reals: foundations for scientific computation. Not. Am. Math. Soc. 51, 318–329 (2006)
3. Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer (1998)
4. Beeson, M.: Foundations of Constructive Mathematics. Springer (1985)
5. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill (1967)