Sciweavers

691 search results - page 12 / 139
» Equational Abstractions
Sort
View
ICCSA
2003
Springer
14 years 1 months ago
A Compact Scheme for the Streamfunction Formulation of Navier-Stokes Equations
Abstract. We introduce a pure-streamfunction formulation for the incompressible Navier-Stokes equations. The idea is to replace the vorticity in the vorticity- streamfunction evolu...
Dalia Fishelov, Matania Ben-Artzi, Jean-Pierre Cro...
MOC
1998
73views more  MOC 1998»
13 years 8 months ago
Efficient Runge-Kutta integrators for index-2 differential algebraic equations
Abstract. In seeking suitable Runge-Kutta methods for differential algebraic equations, we consider singly-implicit methods to which are appended diagonally-implicit stages. Metho...
J. C. Butcher, R. P. K. Chan
DLT
2009
13 years 6 months ago
On the Complexity of Hmelevskii's Theorem and Satisfiability of Three Unknown Equations
Abstract. We analyze Hmelevskii's theorem, which states that the general solutions of constant-free equations on three unknowns are expressible by a finite collection of formu...
Aleksi Saarela
ICCS
2003
Springer
14 years 1 months ago
Invariant Manifolds and Grobman-Hartman Theorem for Equations with Degenerate Operator at the Derivative
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
Bülent Karasözen, Irina Konopleva, Boris...
MOC
2000
109views more  MOC 2000»
13 years 8 months ago
A mixed formulation of Boussinesq equations: Analysis of nonsingular solutions
Abstract. This paper is concerned with the mixed formulation of the Boussinesq equations in two-dimensional domains and its numerical approximation. The paper deals first with exis...
M. Farhloul, S. Nicaise, L. Paquet