Work to develop a robust knowledge-base for the automated construction
of numerical algorithms is described. The approach adopted is one of
synthesis of an algorithm from a library of pre-formed sub-components.
The target domain for the system is Finite Element Analysis of incomp
ressible fluid dynamics and heat transfer. The knowledge being used is
described and illustrated with numerous examples. A conceptual knowle
dge representation and inferencing control mechanism employing the bla
ckboard paradigm with autonomous knowledge agents and implemented via
a frame-based approach is proposed.