{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T21:11:51Z","timestamp":1659561111048},"reference-count":29,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1587\/transinf.2016edp7363","type":"journal-article","created":{"date-parts":[[2017,9,30]],"date-time":"2017-09-30T22:24:22Z","timestamp":1506810262000},"page":"2567-2577","source":"Crossref","is-referenced-by-count":0,"title":["A Support System for Solving Problems of Two-Triangle Congruence Using \u2018Backward Chaining\u2019"],"prefix":"10.1587","volume":"E100.D","author":[{"given":"Ryosuke","family":"ONDA","sequence":"first","affiliation":[{"name":"Faculty of Engineering, Tokyo University of Agriculture and Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuki","family":"HIRAI","sequence":"additional","affiliation":[{"name":"Institute of Engineering, Tokyo University of Agriculture and Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kay","family":"PENNY","sequence":"additional","affiliation":[{"name":"The Business School, Edinburgh Napier University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bipin","family":"INDURKHYA","sequence":"additional","affiliation":[{"name":"Institute of Philosophy, Jagiellonian University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keiichi","family":"KANEKO","sequence":"additional","affiliation":[{"name":"Institute of Engineering, Tokyo University of Agriculture and Technology"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] R. Onda, Y. Hirai, and K. Kaneko, \u201cDevelopment of a learning system for proving the congruence of two triangles by supporting \u2018backward chaining\u2019,\u201d Proceedings of the 3rd ICT International Student Project Conference, pp.1-4, 2014. 10.1109\/ict-ispc.2014.6923204","DOI":"10.1109\/ICT-ISPC.2014.6923204"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] S.L. Senk, \u201cHow well do students write geometry proofs?,\u201d The Mathematics Teacher, vol.78, pp.448-456, 1985.","DOI":"10.5951\/MT.78.6.0448"},{"key":"3","unstructured":"[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 \u2014 Toward improvement and fulfilling of lecture to students (Junior high school part) (in Japanese), Kyoiku-shuppan Press, 2012."},{"key":"4","unstructured":"[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."},{"key":"5","unstructured":"[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."},{"key":"6","unstructured":"[6] National Institute for Educational Policy Research, Report of the national assessment of academic ability in FY2012 (Mathematics part of junior high school) (in Japanese), pp.210-341, 2012."},{"key":"7","unstructured":"[7] National Institute for Educational Policy Research, Report of the national assessment of academic ability in FY2013 (Mathematics part of junior high school) (in Japanese), 2013."},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] S. Autexier, D. Dietrich, and M. Schiller, \u201cTowards an intelligent tutor for mathematical proofs,\u201d Proceedings of Theorem Proving Components for Educational Software, vol.79, pp.1-28, 2012. 10.4204\/eptcs.79.1","DOI":"10.4204\/EPTCS.79.1"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] S.-C. Chou, X.-S. Gao, and J.-Z. Zhang, \u201cAutomated generation of readable proofs with geometric invariants. ii: theorem proving with full-angles,\u201d Journal of Automated Reasoning, vol.17, pp.325-347, 1996. 10.1007\/bf00283134","DOI":"10.1007\/BF00283134"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] N. Matsuda and K. VanLehn, \u201cGramy: A geometry theorem prover capable of construction,\u201d Journal of Automated Reasoning, vol.32, no.1, pp.3-33, 2004. 10.1023\/b:jars.0000021960.39761.b7","DOI":"10.1023\/B:JARS.0000021960.39761.b7"},{"key":"11","unstructured":"[11] S. Wilson and J. Fleuriot, \u201cCombining dynamic geometry, automated geometry theorem proving and diagrammatic proofs,\u201d Proceedings of the European Joint Conferences on Theory and Practice of Software\/Satellite Workshop on User Interfaces for Theorem Provers, 2005."},{"key":"12","unstructured":"[12] S. Karimata, \u201cA study on junior high school student's problem-solving using act (in japanese),\u201d Bulletin of Educational Research and Training Center, vol.3, pp.1-11, 1995."},{"key":"13","unstructured":"[13] T. Makino, \u201cStudent's cognitive difficulties in \u2018bridging process\u2019 of proving (in japanese),\u201d Technical Report of Japan Society for Science Education, vol.26, pp.25-30, 2012."},{"key":"14","unstructured":"[14] G. Dimakos, E. Nikolusdakis, S. Ferentinos, and E. Choustoulakis, \u201cDeveloping a proof-writing tool for novice lyceum geometry students,\u201d The Teaching of Mathematics, vol.10, pp.87-106, 2007."},{"key":"15","unstructured":"[15] T. Itoh, \u201cA system for understanding proof procedures related to congruence of triangles (in japanese),\u201d Graduation thesis, Tokyo University of Agriculture and Technology, Tokyo, Japan, 2002."},{"key":"16","unstructured":"[16] N. Matsuda and K. VanLehn, \u201cAdvanced geometry tutor: An intelligent tutor that teaches proof-writing with construction,\u201d Proceedings of the 12th International Conference on Artificial Intelligence in Education, pp.443-450, 2005."},{"key":"17","unstructured":"[17] \u201cNetlessonlab.\u201d http:\/\/netlessonlab.com\/. (Online, Available on July 12th, 2016)."},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] D. Wood, H. Wood, and D. Middleton, \u201cAn experimental evaluation of four face-to-face teaching strategies,\u201d International Journal of Behavioral Development, vol.1, no.2, pp.131-147, 1978. 10.1177\/016502547800100203","DOI":"10.1177\/016502547800100203"},{"key":"19","unstructured":"[19] K. Jones, T. Fujita, and M. Miyazaki, \u201cLearning congruency-based proofs in geometry via a web-based learning system,\u201d Proceedings of the British Society for Research into Learning Mathematics, pp.31-36, 2013."},{"key":"20","unstructured":"[20] M. Miyazaki, K. Jones, and T. Fujita, \u201cA web-based learning system for congruency-based proofs in geometry in lower secondary school,\u201d Proceedings of the 11th International Conference on Technology in Mathematics Teaching, pp.206-212, 2013."},{"key":"21","unstructured":"[21] A. Takeuchi and T. Okamoto, \u201cKnowledge-base-oriented teaching and learning support system (in japanese),\u201d in Educational information technology of the Internet age 2, ch. 5, Morikita Publishing, 2001."},{"key":"22","unstructured":"[22] W.K. Wong, S.K. Yin, H.H. Yan, and Y.H. Cheng, \u201cUsing computer-assisted multiple representation in learning geometry proofs,\u201d Educational Technology & Society, vol.14, pp.43-54, 2011."},{"key":"23","unstructured":"[23] Ministry of Education, Culture, Sports, Science and Technology (MEXT), Commentary of courses of study for junior high school mathematics (in Japanese), Kyoiku-syuppan Press, 2008."},{"key":"24","unstructured":"[24] T. Fujii and H. Matano, New Mathematics 2 (in Japanese), Tokyo Shoseki Press, 2013."},{"key":"25","unstructured":"[25] \u201cMathematics website.\u201d http:\/\/math.005net.com\/mondai.php. (Online Available: July 12th, 2016)."},{"key":"26","unstructured":"[26] K. Okamoto, K. Koseki, M. Morisugi, and T. Sasaki, Gateway to the future math 2 (in Japanese), Keirinkan Press, 2013."},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] B.E. Whitley Jr. and M.E. Kite, Principle of research in bahavioral science, 3 ed., Routledge, 2012.","DOI":"10.4324\/9780203085219"},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] M.K.N. Vaani and E. Ramaraj, \u201cAn optimal approach to derive disjunctive positive and negative rules from association rule mining using genetic algorithm,\u201d IOSR Journal of Computer Engineering, vol.13, no.1, pp.73-82, 2013. 10.9790\/0661-1317382","DOI":"10.9790\/0661-1317382"},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] M.T.H. Chi, P.J. Feltovich, and R. Glaser, \u201cCategorization and representation of physics problems by experts and novices,\u201d Cognitive Science, vol.5, no.2, pp.121-152, 1981. 10.1207\/s15516709cog0502_2","DOI":"10.1207\/s15516709cog0502_2"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/10\/E100.D_2016EDP7363\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,3]],"date-time":"2022-08-03T20:37:23Z","timestamp":1659559043000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/10\/E100.D_2016EDP7363\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":29,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016edp7363","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}