A model of cooperative solvers for computational problems

The paper presents a model for building cooperative solvers for computational problems. We suggest an architecture of an environment which allows us to implement the model. It consists of a kernel, a library of methods, a scenario language and a universal internal representation. Methods have a special structure that provides their cooperation. We describe the current implementation of this environment, give examples of several schemes of cooperative solvers and present some computational experiments.