Vol 29, No 4 (2021)

We present the possibilities provided by the MathPartner service of calculating definite and indefinite integrals. MathPartner contains software implementation of the Risch algorithm and provides users with the ability to compute antiderivatives for elementary functions. Certain integrals, including improper integrals, can be calculated using numerical algorithms. In this case, every user has the ability to indicate the required accuracy with which he needs to know the numerical value of the integral. We highlight special functions allowing us to calculate complete elliptic integrals. These include functions for calculating the arithmetic-geometric mean and the geometric-harmonic mean, which allow us to calculate the complete elliptic integrals of the first kind. The set also includes the modified arithmetic-geometric mean, proposed by Semjon Adlaj, which allows us to calculate the complete elliptic integrals of the second kind as well as the circumference of an ellipse. The Lagutinski algorithm is of particular interest. For given differentiation in the field of bivariate rational functions, one can decide whether there exists a rational integral. The algorithm is based on calculating the Lagutinski determinant. This year we are celebrating 150th anniversary of Mikhail Lagutinski.

Quantum systems with a finite number of states at all times have been a primary element of many physical models in nuclear and elementary particle physics, as well as in condensed matter physics. Today, however, due to a practical demand in the area of developing quantum technologies, a whole set of novel tasks for improving our understanding of the structure of finite-dimensional quantum systems has appeared. In the present article we will concentrate on one aspect of such studies related to the problem of explicit parameterization of state space of an $N$-level quantum system. More precisely, we will discuss the problem of a practical description of the unitary ${SU(N)}$-invariant counterpart of the $N$-level state space ${\mathcal{B}_N}$, i.e., the unitary orbit space ${B_N/SU(N)}$. It will be demonstrated that the combination of well-known methods of the polynomial invariant theory and convex geometry provides useful parameterization for the elements of ${B_N/SU(N)}$. To illustrate the general situation, a detailed description of ${B_N/SU(N)}$ for low-level systems: qubit (${N= 2}$), qutrit (${N=3}$), quatrit (${N= 4}$) - will be given.