<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-12-09 11:42:56Partial differential equations Computational fluid dynamics Finite element method Climate modeling Atmospheric dispersion modeling MEMO Model Arakawa grids Smoothed-particle hydrodynamics Geodesic grid Primitive equations Numerical methods in fluid mechanics Atmospheric model |
Add to Reading List |
! Revised Wednesday, December 9, 2015! 1 | 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 |