1. [1] R. Onda, Y. Hirai, and K. Kaneko, “Development of a learning system for proving the congruence of two triangles by supporting ‘backward chaining’,” Proceedings of the 3rd ICT International Student Project Conference, pp.1-4, 2014. 10.1109/ict-ispc.2014.6923204
2. [2] S.L. Senk, “How well do students write geometry proofs?,” The Mathematics Teacher, vol.78, pp.448-456, 1985.
3. [3] National Institute for Educational Policy Research, Summary of expected future works based on 4-years experimental results of the national assessment of academic ability — Toward improvement and fulfilling of lecture to students (Junior high school part) (in Japanese), Kyoiku-shuppan Press, 2012.
4. [4] National Institute for Educational Policy Research, Report of the national assessment of academic ability in FY2014 (Mathematics part of junior high school) (in Japanese), 2014.
5. [5] National Institute for Educational Policy Research, Report of the national assessment of academic ability in FY2010 (Mathematics part of junior high school) (in Japanese), pp.178-307, 2010.