First Page | Document Content | |
---|---|---|
![]() Date: 2007-09-13 12:28:50Mathematical analysis Geophysics Primitive equations Weather prediction Physics Boussinesq approximation T cell Mason–Weaver equation Partial differential equations Water waves Fluid mechanics | 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 |