First Page | Document Content | |
---|---|---|
![]() Date: 2009-03-05 14:43:51Mathematical analysis Navier–Stokes equations Differential equation Primitive equations Euler equations Incompressible flow Navier–Stokes existence and smoothness Taylor–Green vortex Calculus Partial differential equations Multivariable calculus | Add to Reading List |
![]() | The modpn Library: Bringing Fast Polynomial Arithmetic into Maple Xin Li Marc Moreno Maza Raqeeb RasheedDocID: 1qv76 - View Document |
![]() | 9th AIMS CONFERENCE – ABSTRACTS 48 Special Session 11: Advances in Classical and Geophysical Fluid DynamicsDocID: 1pIlN - View Document |
![]() | G¨odel functional interpretation and weak compactness Ulrich Kohlenbach1 Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstraße 7, 64289 Darmstadt, Germany -darmstadt.dDocID: 1o2C0 - View Document |
![]() | ! Revised Wednesday, December 9, 2015! 1DocID: 1nZmQ - View Document |
![]() | Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008DocID: 1nVyh - View Document |