4
RUDN University Mathematicians Applied 19th Century Ideas To Modern Computerized Algebra Systems

RUDN University Mathematicians Applied 19th Century Ideas To Modern Computerized Algebra Systems

A team of mathematicians from RUDN University added new symbolic integration functionality to the Sage computerized algebra system. The team implemented ideas and methods suggested by the German mathematician Karl Weierstrass in the 1870s.

The first computer program capable of calculating integrals of elementary functions was developed in the late 1950s. By creating it, the developers confirmed that a computer could not only perform simple calculations but was also able to deal with tasks that required a certain degree of ‘thinking’. Symbolic integration, i.e. integration that involves letters and abstract symbols instead of numbers, is an example of such a task. At the same time, scientists realized that neither humans nor computers were able to determine whether a given integral can be taken in elementary functions (provided such a human or computer used the methods studied in a university course of analysis and took a finite number of steps). Therefore, in the 1960s mathematicians working on symbolic integrators started to refer to methods that had been suggested by Liouville in the 1830s. From that time on, computer scientists have been tapping into the classic scientific heritage.

The calculation of primitives of algebraic functions is one of the bottlenecks in the process of integrator development. Before World War I, the integration of algebraic functions or Abelian integrals had been considered one of the most important issues in mathematics, but later on, it was forgotten. “Current computer algebra systems are able to fulfill even the most exotic requests of mathematical analysis students, but at the same time, many of these systems fail to recognize integrals in elementary functions. Only several packages allow for the integration of algebraic functions or with Abelian integrals, but their development stopped 15 years ago, and their functionality leaves much to be desired,” says Mikhail Malykh, a Doctor of Science in Physics and Mathematics, and an assistant professor at the Department of Applied Informatics and Probability Theory, RUDN University.

One of the theories developed by the German mathematician Karl Weierstrass in the 1870s reduces the calculation of an integral of an algebraic function to finding a given set of known integrals of all three types. The initial integral is represented as a sum of standard integrals (this construction is knowns as the normal representation of an Abelian integral). The team from RUDN University confirmed that this representation is indicative of whether a given integral can be calculated in elementary functions. To confirm their theory, the mathematicians tested them on simple elliptical integrals using a software package that had been created by the team in 2017. The package helps calculate coefficients of the normal form of an integral. In the future, the team plans to conduct similar studies for a wider range of integrals.

“This work is just one step on our way to an ambitious goal: we want to express Weierstrass’s theory of Abelian integrals and functions using the language of computer algebra and to implement it in the Sage system, giving researchers from all over the world free access to it,” added Mikhail Malykh from RUDN University.

The article was published in Journal of Symbolic Computation.

International scientific cooperation View all
03 Nov 2017
The main goal of the RUDN University and UNISDR Office for Northeast Asia and Global Education and Training Institute for Disaster Risk Reduction at Incheon (UNISDR ONEA-GETI) cooperation is to obtain knowledge about disaster risk reduction and international experience in this area for creating training courses for basic and additional professional education in RUDN
804
Main Publications View all
15 Nov 2017
RUDN University scientists publish results of their scientific researches in highly-recognized in whole world and indexed in international databases journals (Web of Science, Scopus ect.). That, of course, corresponds to the high status of the University and its international recognition. Publications of June-September 2017 ( In Journals of categories Q1-Q3)
1006
Similar newsletter View all
30 Dec
Biologists from RUDN University discovered the secret of flaxseed oil with long shelf life

Biologists from RUDN University working together with their colleagues from the Institute of Molecular Biology of the Russian Academy of Sciences and the Institute of Flax studied the genes that determine the fatty acid composition in flaxseed oil and identified polymorphisms in six of them. The team also found out what gene variations could extend the shelf life of flaxseed oil. This data can be used to improve the genetic selection of new flax breeds. The results were published in the BMC Plant Biology journal.

254
11 Oct
Mowing Is More Harmful to Soil Than Grazing

A team of biologists analyzed soil samples from a pasture and a regularly mowed meadow and found out that grazing lets more carbon get into the soil than mowing. This, in turn, improves the carbon cycle and makes microorganisms more efficient.

10
11 Oct
Soil scientists suggest method for remediating urban garden soils contaminated with lead and arsenic

The soils of urban gardens and vegetable patches contain a lot of toxicants (including lead and arsenic) in high concentrations which can be harmful to the health of children and people with chronic diseases. A team of soil scientists from RUDN University suggested a remediation method developed based on data collected in a garden of Brooklyn (NY, U.S.).

12
Similar newsletter View all