Averaging of 2D Navier–Stokes equations with singularly oscillating forces
- 期刊名称Nonlinearity
- 作者Chepyzhov, V V; Pata, V; Vishik, M I
- 卷第22卷
- 期第2期
- 印刷ISSN0951-7715
- 电子ISSN1361-6544
- 文件大小303.22KB
- 发表时间2009-02-01
- DOI10.1088/0951-7715/22/2/006
- 页码351-370
Eine Klassifikation der ε0-Rekursiven FunktionenHelmut Schwichtenberg · 1971
Dialectica interpretation of well-founded inductionHelmut Schwichtenberg · 2008
Finite notations for infinite termsHelmut Schwichtenberg · 1998
Rekursionszahlen und die Grzegorczyk-HierarchieHelmut Schwichtenberg · Archive for Mathematical Logic · 1969
Program Extraction from Normalization ProofsUlrich Berger; Stefan Berghofer; Pierre Letouzey; Helmut Schwichtenberg · Studia Logica · 2006
Monotone Majorizable FunctionalsHelmut Schwichtenberg · Studia Logica · 1999
Minimal from classical proofsSchwichtenberg, Helmut; Senjak, Christoph · Annals of Pure and Applied Logic · 2013
Viewing -terms through mapsSato, Masahiko; Pollack, Randy; Schwichtenberg, Helmut; Sakurai, Takafumi · Indagationes Mathematicae · 2013