Mathematical Modeling in Problems of Homogeneous (Pseudo)Riemaimian Geometry

Abstract

Currently, mathematical and computer modeling, as well as systems of symbolic calculations, are actively used in many areas of mathematics. Popular computer math systems as Maple, Mathematica, MathCad, MatLab allow not only to perform calculations using symbolic expressions but also solve algebraic and differential equations (numerically and analytically) and visualize the results. Differential geometry, like other areas of modern mathematics, uses new computer technologies to solve its own problems. The applying is not limited only to numerical calculations; more and more often, computer mathematics systems are used for analytical calculations. At the moment, there are many examples that prove the effectiveness of systems of analytical calculations in the proof of theorems of differential geometry.This paper demonstrates how symbolic computation packages can be used to classify neither conformally flat nor Ricci parallel four-dimensional Lie groups with leftinvariant (pseudo)Riemannian metric of the algebraic Ricci soliton with the zero Schouten-Weyl tensor.