RUS  ENG
Full version
JOURNALS // Preprints of the Keldysh Institute of Applied Mathematics // Archive

Keldysh Institute preprints, 1998 075 (Mi ipmp1388)

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.



© Steklov Math. Inst. of RAS, 2024