Abstract
Readability is a fuzzy concept and there are several levels of readability. Readable machine solving avails the development of mathematics culture and is useful to education. There are several methods of readable machine solving, such as the logic method, points elimination method, geometry information searching system or deductive database method. Based on these methods, some new types of educational software have been developed. As an example, the intelligent educational software “Mathematics Lab: Solid Geometry” (MSG) is introduced in this paper.
Cite
CITATION STYLE
Li, C. Z., & Zhang, J. Z. (1999). Readable machine solving in geometry and ICAI software MSG. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1669, pp. 67–85). Springer Verlag. https://doi.org/10.1007/3-540-47997-x_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
