Designing a new automatic numeric solver for ordinary diierential equations is motivated only if it answers some critical user needs. Such needs and their solutions are discussed in this paper. We describe also the capabilities of a prototyped problem solving environment.

This paper describes the possible evolution of the ELLPACK system from a research tool for software evaluation to an expert s~tem for solving elliptic problems. The third "version" of ELLPACK is presently under development with the intention of exploring the impact of parallel and vector computers 00 its problem solving capabilities and to introduce problem solving methods based on geometric do...

The functionally accurate cooperative FA C distributed problem solving paradigm has been an impor tant approach for organizing distributed problem solving among homogeneous cooperating agents They idea behind the FA C approach is that agents can produce tentative partial results based on only local information and then exploit the constraints that exist among these local results to resolve unce...

Learning and problem solving are intimately related: problem solving determines the knowledge requirements of the reasoner which learning must fulfill, and learning enables improved problem-solving performance. Different models of problem solving, however, recognize different knowledge needs, and, as a result, set up different learning tasks. Some recent models analyze problem solving in terms ...