Programming technologies

An important line of work - development and implementation of efficient algorithms for symbolic transformations, development pilot of an algebraic programming system APS in a cross-platform industrial system programming whose effectiveness would be comparable with international best practice such systems. Specific objectives of this direction: - development of methods for the effective implementation of technology rewriting; - development of polysort algebra algebraic calculations and algorithms for computer algebra; - improving the system of system services; - development of Web-based functions and services system. The single most important problem is to solve the problem of unification of interfaces and data formats for the system according to international standards, MathML, OpenMath with providing their compatibility with such mathematical systems as Mathematica, Maple and other computer algebra systems.
Supervisor: