Matches in SemOpenAlex for { <https://semopenalex.org/work/W1586597164> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1586597164 abstract "This study addresses a novel technique to build a graphical user interface (GUI) for an intelligent tutoring system (ITS) to help students to learn geometry theorem proving with construction - one of the most challenging and creative parts of elementary geometry. Students’ task is not only to prove theorems, but also to construct missing points and/or segments to complete a proof (called auxiliary lines). The problem space of theorem proving with construction is generally huge, thus understanding a search strategy is a key issue for students to succeed in this domain. Two major challenges in building a GUI for an intelligent learning environment are (a) to build a theorem prover that is capable of construction, and (b) to establish a cognitive model of understanding a complex problem-solving strategy." @default.
- W1586597164 created "2016-06-24" @default.
- W1586597164 creator A5053576557 @default.
- W1586597164 creator A5056664279 @default.
- W1586597164 date "2000-01-01" @default.
- W1586597164 modified "2023-09-27" @default.
- W1586597164 title "A Reification of a Strategy for Geometry Theorem Proving" @default.
- W1586597164 doi "https://doi.org/10.1007/3-540-45108-0_83" @default.
- W1586597164 hasPublicationYear "2000" @default.
- W1586597164 type Work @default.
- W1586597164 sameAs 1586597164 @default.
- W1586597164 citedByCount "0" @default.
- W1586597164 crossrefType "book-chapter" @default.
- W1586597164 hasAuthorship W1586597164A5053576557 @default.
- W1586597164 hasAuthorship W1586597164A5056664279 @default.
- W1586597164 hasConcept C136119220 @default.
- W1586597164 hasConcept C17744445 @default.
- W1586597164 hasConcept C199360897 @default.
- W1586597164 hasConcept C199539241 @default.
- W1586597164 hasConcept C201377581 @default.
- W1586597164 hasConcept C202444582 @default.
- W1586597164 hasConcept C206880738 @default.
- W1586597164 hasConcept C33923547 @default.
- W1586597164 hasConcept C37789001 @default.
- W1586597164 hasConcept C41008148 @default.
- W1586597164 hasConcept C80444323 @default.
- W1586597164 hasConcept C89505385 @default.
- W1586597164 hasConcept C94625758 @default.
- W1586597164 hasConceptScore W1586597164C136119220 @default.
- W1586597164 hasConceptScore W1586597164C17744445 @default.
- W1586597164 hasConceptScore W1586597164C199360897 @default.
- W1586597164 hasConceptScore W1586597164C199539241 @default.
- W1586597164 hasConceptScore W1586597164C201377581 @default.
- W1586597164 hasConceptScore W1586597164C202444582 @default.
- W1586597164 hasConceptScore W1586597164C206880738 @default.
- W1586597164 hasConceptScore W1586597164C33923547 @default.
- W1586597164 hasConceptScore W1586597164C37789001 @default.
- W1586597164 hasConceptScore W1586597164C41008148 @default.
- W1586597164 hasConceptScore W1586597164C80444323 @default.
- W1586597164 hasConceptScore W1586597164C89505385 @default.
- W1586597164 hasConceptScore W1586597164C94625758 @default.
- W1586597164 hasLocation W15865971641 @default.
- W1586597164 hasOpenAccess W1586597164 @default.
- W1586597164 hasPrimaryLocation W15865971641 @default.
- W1586597164 hasRelatedWork W1486060060 @default.
- W1586597164 hasRelatedWork W1490467704 @default.
- W1586597164 hasRelatedWork W1520286155 @default.
- W1586597164 hasRelatedWork W1549784471 @default.
- W1586597164 hasRelatedWork W1564066985 @default.
- W1586597164 hasRelatedWork W1573726182 @default.
- W1586597164 hasRelatedWork W1576084004 @default.
- W1586597164 hasRelatedWork W1973455883 @default.
- W1586597164 hasRelatedWork W1973780075 @default.
- W1586597164 hasRelatedWork W2042236049 @default.
- W1586597164 hasRelatedWork W2050283601 @default.
- W1586597164 hasRelatedWork W2112560439 @default.
- W1586597164 hasRelatedWork W2135917571 @default.
- W1586597164 hasRelatedWork W2159549711 @default.
- W1586597164 hasRelatedWork W2290665887 @default.
- W1586597164 hasRelatedWork W245122890 @default.
- W1586597164 hasRelatedWork W2522007841 @default.
- W1586597164 hasRelatedWork W3103412473 @default.
- W1586597164 hasRelatedWork W765237808 @default.
- W1586597164 hasRelatedWork W2020693943 @default.
- W1586597164 isParatext "false" @default.
- W1586597164 isRetracted "false" @default.
- W1586597164 magId "1586597164" @default.
- W1586597164 workType "book-chapter" @default.