Repository | Book | Chapter
Differentiation of constructive functions of a real variable and relative computability
pp. 81-106
Abstract
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
Published in:
Skordev Dimiter G (1987) Mathematical logic and its applications. Dordrecht, Springer.
Pages: 81-106
DOI: 10.1007/978-1-4613-0897-3_6
Full citation:
Demuth Osvald, Filipec Pavel (1987) „Differentiation of constructive functions of a real variable and relative computability“, In: D.G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, 81–106.