With a growing community of researchers working on the recognition, parsing and digital exploitation of mathematical formulae, a need has arisen for a set of samples or benchmarks which can be used to compare, evaluate and help to develop different implementations and algorithms. The benchmark set would have to cover a wide range of mathematics, contain enough information to be able to search for specific samples and be accessible to the whole community. In this paper, we propose an on-line system...
We deal with a scalar nonstationary convection-diffusion equation with nonlinear convective as well as diffusive terms which represents a model problem for the solution of the system of the compressible Navier-Stokes equations describing a motion of viscous compressible fluids. We present a discretization of this model equation by the discontinuous Galerkin finite element method. Moreover, under some assumptions on the nonlinear terms, domain partitions and the regularity of the exact solution,...
We present analytical solution of the Stokes problem in rotationally symmetric domains. This is then used to find the asymptotic behaviour of the solution in the vicinity of corners, also for Navier-Stokes equations. We apply this to construct very precise numerical finite element solution.
Given a base design with quantitative factors and a primary linear regression to each of the treatments, we may adjust secondary regressions of linear combinations of the adjusted coefficients on the primary regressions on the factor levels, thus obtaining a biregressional model.
A biregressional design was established for a set of treatments, defined from quantitative factors and a linear regression in the same variables. Afterwards the action of the regression coefficients...
Multi-dimensional advection terms are an important part of many large-scale mathematical models which arise in different fields of science and engineering. After applying some kind of splitting, these terms can be handled separately from the remaining part of the mathematical model under consideration. It is important to treat the multi-dimensional advection in a sufficiently accurate manner. It is shown in this paper that high order of accuracy can be achieved when the well-known Crank-Nicolson...