{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T04:53:12Z","timestamp":1772772792659,"version":"3.50.1"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icalt.2006.1652425","type":"proceedings-article","created":{"date-parts":[[2006,8,3]],"date-time":"2006-08-03T00:10:31Z","timestamp":1154563831000},"page":"285-289","source":"Crossref","is-referenced-by-count":8,"title":["Benefits of Knowledge-Based Interactive Learning Environments: A Case in Combinatorics"],"prefix":"10.1109","author":[{"given":"H.","family":"Giroire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Le Calvez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Tisseau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","author":"borasi","year":"1996","journal-title":"Reconceiving Mathematics instruction A focus on errors"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1046\/j.1365-2729.1998.144066.x"},{"key":"10","year":"0"},{"key":"1","author":"astolfi","year":"1997","journal-title":"L'erreur un outil pour enseigner"},{"key":"7","year":"0"},{"key":"6","first-page":"181","author":"nicaud","year":"1994","journal-title":"Building ITSs to be used Lessons Learned from the APLUSIX Project Lessons From Learning"},{"key":"5","first-page":"239","article-title":"Supporting the use of external representations in problem solving: The need for flexible Learning Environments","volume":"6","author":"cox","year":"1995","journal-title":"Journal of Artificial Intelligence in Education"},{"key":"4","first-page":"207","article-title":"Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving","author":"chou","year":"0","journal-title":"Proc Int Conf Autom Deduction"},{"key":"9","year":"0"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90095-H"}],"event":{"name":"Sixth IEEE International Conference on Advanced Learning Technologies (ICALT'06)","location":"Kerkrade, The Netherlands"},"container-title":["Sixth IEEE International Conference on Advanced Learning Technologies (ICALT'06)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10997\/34637\/01652425.pdf?arnumber=1652425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T17:10:25Z","timestamp":1489597825000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1652425\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icalt.2006.1652425","relation":{},"subject":[]}}