The Software Tools for Supporting of Non-Sequential Planing.
Abstract:
A set of supporting tools for the planing system is concerned. The planing system is the solver of geometric problems. The set includes convenient windows-based user interface, explanation facility, delineation drawing facility and a facility for problem solution tracing. Special attention is given to visualization of solution graph. These tools are desig-ned for ordinary users. A developer of the planing system can use the offered tools to debug a functionality of knowledge base too.
