<--- Back to Details
First PageDocument Content
Mathematical analysis / Mathematics / Operator theory / Computability theory / Approximation theory / Fourier analysis / Modulus of continuity / Primitive recursive function / Linear temporal logic / Differential forms on a Riemann surface
Date: 2012-11-12 10:33:41
Mathematical analysis
Mathematics
Operator theory
Computability theory
Approximation theory
Fourier analysis
Modulus of continuity
Primitive recursive function
Linear temporal logic
Differential forms on a Riemann surface

Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C,

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Download Document from Source Website

File Size: 330,42 KB

Share Document on Facebook

Similar Documents

arXiv:0910.2922v1 [math.PR] 15 OctA stochastic calculus proof of the CLT for the L2 modulus of continuity of local time Jay Rosen∗ January 4, 2014

arXiv:0910.2922v1 [math.PR] 15 OctA stochastic calculus proof of the CLT for the L2 modulus of continuity of local time Jay Rosen∗ January 4, 2014

DocID: 1scBD - View Document

Lassoing Phylogenetic Trees Katharina Huber, School of Computing Sciences, University of East Anglia, UK  September 23, 2015

Lassoing Phylogenetic Trees Katharina Huber, School of Computing Sciences, University of East Anglia, UK September 23, 2015

DocID: 1rrmV - View Document

Analysis III/IV (Math 3011, MathExercise SheetThe Problem Classes this term take place in CG85 at 5pm

Analysis III/IV (Math 3011, MathExercise SheetThe Problem Classes this term take place in CG85 at 5pm

DocID: 1qSxn - View Document

Optimal Local Multi-scale Basis Functions for Linear Elliptic Equations with Rough Coefficient∗ arXiv:1508.00346v1 [math.NA] 3 AugThomas Y. Hou

Optimal Local Multi-scale Basis Functions for Linear Elliptic Equations with Rough Coefficient∗ arXiv:1508.00346v1 [math.NA] 3 AugThomas Y. Hou

DocID: 1qMEh - View Document

A sufficient condition for the continuity of permanental processes with applications to local times of Markov processes

A sufficient condition for the continuity of permanental processes with applications to local times of Markov processes

DocID: 1qnAE - View Document