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".