The Chair of Mathematical Theory of Intelligent Systems and
Laboratory of Problems of Theoretical Cybernetics
of Moscow State University Official Website


Computer Solver	development of the Automatic solver of mathematical problems
Computer Teacher	development of computer teaching systems
Information Monitoring	creating the systems of information monitoring
Search in Databases	systems of fast search in extensive databases

Computer Solver of Mathematical Problems

An intelligent system based on new understanding of intuition functioning and decision making has been realized in the scientific version on a PC base. The special formalism for its description using new high-level language of programming has been developed. It can be used in a number of subject areas. It is potentially capable of solving tasks of verification of programs, chips synthesis, etc. in an automatic mode. One of the versions of the "solver" is protected by a series of patents jointly with the LSI LOGIC (USA).

The head of group of scientists working in this area is DSc Alexander S. Podkolzin

Here is a lecture notes in Russian by A.S. Podkolzin "Computer modeling by mathematical problems solving".

ї 2001-2013. The Chair of Mathematical Theory of Intelligent Systems, Laboratory of Problems of Theoretical Cybernetics

Full-text search

Only exact word forms Give up to search results per page