
02330212
a
1999f.04239
Jingzhong, Zhang
Chuanzhong, Li
Automated reasoning in ICAI.
Yang, WeiChi et al., Proceedings of the third Asian technology conference in mathematics. Springer, Singapore (ISBN 9814021156). 3644 (1998).
1998
Springer, Singapore
EN
R20
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.