Help on query formulation
Automated reasoning in ICAI. (English)
Yang, Wei-Chi et al., Proceedings of the third Asian technology conference in mathematics. Springer, Singapore (ISBN 981-4021-15-6). 36-44 (1998).
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.
Classification: R20
Valid XHTML 1.0 Transitional Valid CSS!