Algorithm for construction of explicit -order Runge-Kutta formulas for the systems of differential equations of the 1st order
From the text: The aim of this work is to advertise an algorithmic treatment of the computation of the cohomologies of semisimple Lie algebras. The base is Kostant’s result which describes the representation of the proper reductive subalgebra on the cohomologies space. We show how to (algorithmically) compute the highest weights of irreducible components of this representation using the Dynkin diagrams. The software package offers the data structures and corresponding procedures for computing...
We deal with a numerical solution of nonlinear convection-diffusion equations with the aid of the discontinuous Galerkin method (DGM). We propose a new -adaptation technique, which is based on a combination of a residuum estimator and a regularity indicator. The residuum estimator as well as the regularity indicator are easily evaluated quantities without the necessity to solve any local problem and/or any reconstruction of the approximate solution. The performance of the proposed -DGM is demonstrated....
An interesting connection between the chromatic number of a graph and the connectivity of an associated simplicial complex , its “neighborhood complex”, was found by Lovász in 1978 (cf. L. Lovász [J. Comb. Theory, Ser. A 25, 319-324 (1978; Zbl 0418.05028)]). In 1986 a generalization to the chromatic number of a -uniform hypergraph , for an odd prime, using an associated simplicial complex , was found ([N. Alon, P. Frankl and L. Lovász, Trans. Am. Math. Soc. 298, 359-370 (1986; Zbl 0605.05033)],...
The recent global computerization and digitization trend has helped to increase the numbers of documents with mathematical expressions on the Web. These mathematical expressions have their own unique structures, and therefore, it is not an easy task for traditional search systems targeting natural languages to deal with them. We propose a similarity search method for mathematical equations that is particularly adapted to the tree structures expressed by MathML based on this background. The similarity...
The concept of evolution operator is used to introduce a weak Lie subgroup of a regular Lie group, and to give a new version of the third Lie theorem. This enables the author to formulate and to study the problem of integrability of infinite-dimensional Lie algebras. Several interesting examples are presented.
This paper gives an exposition of algebraic K-theory, which studies functors , an integer. Classically introduced by Bass in the mid 60’s (based on ideas of Grothendieck and others) and introduced by Milnor [Introduction to algebraic K-theory, Annals of Math. Studies, 72, Princeton University Press, 1971: Zbl 0237.18005]. These functors are defined and applications to topological K-theory (Swan), number theory, topology and geometry (the Wall finiteness obstruction to a CW-complex being finite,...
A principal bundle with a Lie group consists of a manifold and a free proper smooth -action . There is a unique smooth manifold structure on the quotient space such that the canonical map is smooth. is called a base manifold and stands for the bundle. The most fundamental examples of principal bundles are the homogeneous spaces , where is a closed subgroup of . The pair is a Klein pair. A model geometry consists of a Klein pair and a Lie group with Lie algebra . In this...
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...