Repository | Book | Chapter
(1987) Mathematical logic and its applications, Dordrecht, Springer.
Differentiation of constructive functions of a real variable and relative computability
Osvald Demuth, Pavel Filipec
pp. 81-106
The paper belongs to constructive mathematics of Markov school. The aim of it is to show an introducing of sane relativized notions into constructive mathematical analysis (CMA) and to present a few results concerning differentiability of constructive real-valued functions of a real variable as an example of the utilization of the relativization.
Publication details
DOI: 10.1007/978-1-4613-0897-3_6
Full citation:
Demuth, O. , Filipec, P. (1987)., Differentiation of constructive functions of a real variable and relative computability, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 81-106.
This document is unfortunately not available for download at the moment.