@inbook {MATHEDUC.02330212,
author = {Jingzhong, Zhang and Chuanzhong, Li},
title = {Automated reasoning in ICAI.},
year = {1998},
booktitle = {Proceedings of the third Asian technology conference in mathematics},
isbn = {981-4021-15-6},
pages = {36-44},
publisher = {Springer, Singapore},
abstract = {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.},
msc2010 = {R20xx},
identifier = {1999f.04239},
}