On the topological product of discrete -compact spaces
On the transfer of conditions as applied to solving two-dimensional boundary value problems
On the transformation theory of ordinary second-order linear symmetric differential equations
On three-dimensional hypersurfaces with type number two in and treated in intrinsic way
On topological Boolean algebras
On two-to-one functions
On types of non-integrable geometrie
A G-structure on a Riemannian manifold is said to be integrable if it is preserved by the Levi-Civita connection. In the presented paper, the following non-integrable G-structures are studied: SO(3)-structures in dimension 5; almost complex structures in dimension 6; G-structures in dimension 7; Spin(7)-structures in dimension 8; Spin(9)-structures in dimension 16 and F-structures in dimension 26. G-structures admitting an affine connection with totally skew-symmetric torsion are characterized....
On uniqueness of a weak solution to the steady Navier-Stokes problem in a profile cascade with a nonlinear boundary condition on the outflow
On Urysohn's lemma
On using artificial compressibility method for solving turbulent flows
In this work, artificial compressibility method is used to solve steady and unsteady flows of viscous incompressible fluid. The method is based on implicit higher order upwind discretization of Navier-Stokes equations. The extension for unsteady simulation is considered by increasing artificial compressibility parameter or by using dual time stepping. The methods are tested on laminar flow around circular cylinder and used to simulate turbulent unsteady flows by URANS approach. The simulated cases...
On various properties of the solutions of third- and fourth-order linear differential equations
On Vassiliev's knot invariants
On Wiener's type regularity of a boundary point for higher order elliptic equations
One-to-one continuous images of a line
Ongoing Efforts to Generate “Tagged PDF” using pdfTeX
Recently PDF has been accepted as a standard for production of electronic documents, as ISO 32000-1:2008, with an acronym of PDF/UA (for “Universal Accessibility”). The second draft ISO 32000-2:2009 is to include specifications for including MathML tagging of mathematical environments and expressions. This talk presents a report on work-in-progress, aimed at: developing the primitive commands for pdfTeX needed to support the production of fully tagged PDF documents; writing appropriate TeX and...
Operators in normed almost linear spaces
Optimal Sobolev embeddings
Optimization of the domain in elliptic unilateral boundary value problems by finite element method
Order structures and topological structures
Ordered symmetric spaces