First Page | Document Content | |
---|---|---|
Date: 2012-11-12 10:33:41Mathematical 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 ListSource URL: www.mathematik.tu-darmstadt.deDownload Document from Source WebsiteFile Size: 330,42 KBShare Document on Facebook |
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, 2014DocID: 1scBD - View Document | |
Lassoing Phylogenetic Trees Katharina Huber, School of Computing Sciences, University of East Anglia, UK September 23, 2015DocID: 1rrmV - View Document | |
Analysis III/IV (Math 3011, MathExercise SheetThe Problem Classes this term take place in CG85 at 5pmDocID: 1qSxn - View Document | |
Optimal Local Multi-scale Basis Functions for Linear Elliptic Equations with Rough Coefficient∗ arXiv:1508.00346v1 [math.NA] 3 AugThomas Y. HouDocID: 1qMEh - View Document | |
A sufficient condition for the continuity of permanental processes with applications to local times of Markov processesDocID: 1qnAE - View Document |