\input zb-basic
\input zb-matheduc
\iteman{ZMATH 1999f.04239}
\itemau{Jingzhong, Zhang; Chuanzhong, Li}
\itemti{Automated reasoning in ICAI.}
\itemso{Yang, Wei-Chi et al., Proceedings of the third Asian technology conference in mathematics. Springer, Singapore (ISBN 981-4021-15-6). 36-44 (1998).}
\itemab
Examples of the use of the educational software SOLID GEOMETRY are presented, i. e. for dynamical construction, generating problems, autometed reasoning, alternate solving (if the user inputs his or her reasoning for solving a problem step by step, the system will give comments on every step), measure in space, partial copying of a figure, section of a solid.
\itemrv{~}
\itemcc{R20}
\itemut{}
\itemli{}
\end