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