Publisher
Springer International Publishing
Reference46 articles.
1. Aberth, O.: The failure in computable analysis of a classical existence theorem for differential equations. Proc. Am. Math. Soc. 30, 151–156 (1971)
2. Avigad, J., Brattka, V.: Computability and analysis: the legacy of Alan Turing. In: Downey, R. (ed.) Turing’s Legacy: Developments from Turing’s Ideas in Logic, LNL, vol. 42, pp. 1–47. Cambridge University Press, Cambridge, UK (2014)
3. Baigger, G.: Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Arch. Math. Logic 25, 183–188 (1985)
4. A Series of Modern Surveys in Mathematics;MJ Beeson,1985
5. Borel, É.: Le calcul des intégral définies. Journal de Mathematiques pures et appliquées 8(2), 159–210 (1912)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献