The Software Tools for Supporting of Non-Sequential Planing
L. S. Korukhova, E. Z. Lubimsky, L. V. Maximov, V. V. Malyshko
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.