Matches in SemOpenAlex for { <https://semopenalex.org/work/W2282070325> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2282070325 endingPage "1199" @default.
- W2282070325 startingPage "1193" @default.
- W2282070325 abstract "Geometry reasoning and proof form a major and challenging component in the K-12 mathematics curriculum. Although several computerized systems exist that help students learn and practice general geometry concepts, they do not target geometry proof problems, which are more advanced and difficult. Powerful geometry theorem provers also exist, however they typically employ advanced algebraic methods and generate complex, difficult to understand proofs, and thus do not meet general K-12 students' educational needs. This paper tackles these weaknesses of prior systems by introducing a geometry proof system, iGeoTutor, capable of generating human-readable elementary proofs, i.e. proofs using standard Euclidean axioms. We have gathered 77 problems in total from various sources, including ones unsolvable by other systems and from Math competitions. iGeoTutor solves all but two problems in under two minutes each, and more importantly, demonstrates a much more effective and intelligent proof search than prior systems. We have also conducted a pilot study with 12 high school students, and the results show that iGeoTutor provides a clear benefit in helping students learn geometry proofs. We are in active discussions with Khan Academy and local high schools for possible adoption of iGeo-Tutor in real learning environments." @default.
- W2282070325 created "2016-06-24" @default.
- W2282070325 creator A5009882467 @default.
- W2282070325 creator A5065937088 @default.
- W2282070325 date "2015-07-25" @default.
- W2282070325 modified "2023-09-23" @default.
- W2282070325 title "Automated geometry theorem proving for human-readable proofs" @default.
- W2282070325 cites W1580686190 @default.
- W2282070325 cites W2013572173 @default.
- W2282070325 cites W2073911647 @default.
- W2282070325 cites W2077378514 @default.
- W2282070325 cites W2088823840 @default.
- W2282070325 cites W2089475335 @default.
- W2282070325 cites W2120243289 @default.
- W2282070325 cites W2131408699 @default.
- W2282070325 cites W2134647504 @default.
- W2282070325 cites W2136058053 @default.
- W2282070325 cites W2137351629 @default.
- W2282070325 cites W2164822988 @default.
- W2282070325 hasPublicationYear "2015" @default.
- W2282070325 type Work @default.
- W2282070325 sameAs 2282070325 @default.
- W2282070325 citedByCount "4" @default.
- W2282070325 countsByYear W22820703252017 @default.
- W2282070325 countsByYear W22820703252020 @default.
- W2282070325 crossrefType "proceedings-article" @default.
- W2282070325 hasAuthorship W2282070325A5009882467 @default.
- W2282070325 hasAuthorship W2282070325A5065937088 @default.
- W2282070325 hasConcept C108710211 @default.
- W2282070325 hasConcept C129782007 @default.
- W2282070325 hasConcept C136119220 @default.
- W2282070325 hasConcept C167729594 @default.
- W2282070325 hasConcept C199343813 @default.
- W2282070325 hasConcept C202444582 @default.
- W2282070325 hasConcept C203265346 @default.
- W2282070325 hasConcept C206880738 @default.
- W2282070325 hasConcept C2524010 @default.
- W2282070325 hasConcept C2777686260 @default.
- W2282070325 hasConcept C33923547 @default.
- W2282070325 hasConcept C41008148 @default.
- W2282070325 hasConcept C71924100 @default.
- W2282070325 hasConcept C80444323 @default.
- W2282070325 hasConceptScore W2282070325C108710211 @default.
- W2282070325 hasConceptScore W2282070325C129782007 @default.
- W2282070325 hasConceptScore W2282070325C136119220 @default.
- W2282070325 hasConceptScore W2282070325C167729594 @default.
- W2282070325 hasConceptScore W2282070325C199343813 @default.
- W2282070325 hasConceptScore W2282070325C202444582 @default.
- W2282070325 hasConceptScore W2282070325C203265346 @default.
- W2282070325 hasConceptScore W2282070325C206880738 @default.
- W2282070325 hasConceptScore W2282070325C2524010 @default.
- W2282070325 hasConceptScore W2282070325C2777686260 @default.
- W2282070325 hasConceptScore W2282070325C33923547 @default.
- W2282070325 hasConceptScore W2282070325C41008148 @default.
- W2282070325 hasConceptScore W2282070325C71924100 @default.
- W2282070325 hasConceptScore W2282070325C80444323 @default.
- W2282070325 hasLocation W22820703251 @default.
- W2282070325 hasOpenAccess W2282070325 @default.
- W2282070325 hasPrimaryLocation W22820703251 @default.
- W2282070325 hasRelatedWork W1585401881 @default.
- W2282070325 hasRelatedWork W2064030682 @default.
- W2282070325 hasRelatedWork W2120795805 @default.
- W2282070325 hasRelatedWork W2131408699 @default.
- W2282070325 hasRelatedWork W2136058053 @default.
- W2282070325 hasRelatedWork W2140583545 @default.
- W2282070325 hasRelatedWork W2230407200 @default.
- W2282070325 hasRelatedWork W2265047482 @default.
- W2282070325 hasRelatedWork W2342690234 @default.
- W2282070325 hasRelatedWork W2463292962 @default.
- W2282070325 hasRelatedWork W2768696033 @default.
- W2282070325 hasRelatedWork W2889867253 @default.
- W2282070325 hasRelatedWork W2977439887 @default.
- W2282070325 hasRelatedWork W3008084236 @default.
- W2282070325 hasRelatedWork W3129934326 @default.
- W2282070325 hasRelatedWork W3185513211 @default.
- W2282070325 hasRelatedWork W3196023996 @default.
- W2282070325 hasRelatedWork W1691032207 @default.
- W2282070325 hasRelatedWork W2098212446 @default.
- W2282070325 hasRelatedWork W2506791628 @default.
- W2282070325 isParatext "false" @default.
- W2282070325 isRetracted "false" @default.
- W2282070325 magId "2282070325" @default.
- W2282070325 workType "article" @default.