Proposal of a self-learning system for solving problems of two-triangle congruence proof

In this paper, we propose a learning system for solving two-triangle congruence proof (TTCP) problems. It is a self-learning system that follows the suggestions by Japanese Ministry of Education, Culture, Sports, Science and Technology (MEXT). The system can check various answers by users automatically. To check users' answers, we introduced the partial order relationship of phrases used in a proof. The experimental results by using a prototype of our system revealed some future works such as the necessity of system's appropriate feedbacks.