scientific article; zbMATH DE number 3508473
From MaRDI portal
Publication:4088797
zbMath0325.02023MaRDI QIDQ4088797
Publication date: 1975
Full work available at URL: https://eudml.org/doc/16711
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Functions of bounded variation, generalizations (26A45) Proof theory and constructive mathematics (03F99)
Related Items (12)
Demuth’s Path to Randomness ⋮ Randomness and differentiability ⋮ Randomness, Computation and Mathematics ⋮ Effective genericity and differentiability ⋮ USING ALMOST-EVERYWHERE THEOREMS FROM ANALYSIS TO STUDY RANDOMNESS ⋮ Computing from projections of random points ⋮ Characterization of Kurtz randomness by a differentiation theorem ⋮ Lowness, Randomness, and Computable Analysis ⋮ Pointwise complexity of the derivative of a computable function ⋮ Highness properties close to PA completeness ⋮ THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE ⋮ Computable Measure Theory and Algorithmic Randomness
This page was built for publication:
