Matches in SemOpenAlex for { <https://semopenalex.org/work/W164484779> ?p ?o ?g. }
- W164484779 endingPage "1622" @default.
- W164484779 startingPage "1617" @default.
- W164484779 abstract "We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to manipulate them. We show that this representation captures powerful heuristics for proving geometry theorems, and that it allows a systematic manipulation of geometric features in a manner similar to what may occur in human visual reasoning." @default.
- W164484779 created "2016-06-24" @default.
- W164484779 creator A5088693868 @default.
- W164484779 date "1989-08-20" @default.
- W164484779 modified "2023-09-26" @default.
- W164484779 title "Visual reasoning in geometry theorem proving" @default.
- W164484779 cites W109897293 @default.
- W164484779 cites W1488133941 @default.
- W164484779 cites W1534420097 @default.
- W164484779 cites W1766166962 @default.
- W164484779 cites W1990100773 @default.
- W164484779 cites W2021858614 @default.
- W164484779 cites W2029182003 @default.
- W164484779 cites W2089412241 @default.
- W164484779 cites W2091926481 @default.
- W164484779 cites W2092699841 @default.
- W164484779 cites W2098181550 @default.
- W164484779 cites W2110388275 @default.
- W164484779 cites W2125565018 @default.
- W164484779 cites W2296231029 @default.
- W164484779 cites W2912944677 @default.
- W164484779 cites W99860849 @default.
- W164484779 cites W338938142 @default.
- W164484779 hasPublicationYear "1989" @default.
- W164484779 type Work @default.
- W164484779 sameAs 164484779 @default.
- W164484779 citedByCount "3" @default.
- W164484779 crossrefType "proceedings-article" @default.
- W164484779 hasAuthorship W164484779A5088693868 @default.
- W164484779 hasConcept C103057564 @default.
- W164484779 hasConcept C111919701 @default.
- W164484779 hasConcept C127705205 @default.
- W164484779 hasConcept C136119220 @default.
- W164484779 hasConcept C154945302 @default.
- W164484779 hasConcept C155911833 @default.
- W164484779 hasConcept C173801870 @default.
- W164484779 hasConcept C17744445 @default.
- W164484779 hasConcept C181095308 @default.
- W164484779 hasConcept C195344581 @default.
- W164484779 hasConcept C199539241 @default.
- W164484779 hasConcept C202444582 @default.
- W164484779 hasConcept C206880738 @default.
- W164484779 hasConcept C2524010 @default.
- W164484779 hasConcept C2776359362 @default.
- W164484779 hasConcept C2777508537 @default.
- W164484779 hasConcept C29123130 @default.
- W164484779 hasConcept C33923547 @default.
- W164484779 hasConcept C41008148 @default.
- W164484779 hasConcept C45357846 @default.
- W164484779 hasConcept C68363185 @default.
- W164484779 hasConcept C80444323 @default.
- W164484779 hasConcept C83725634 @default.
- W164484779 hasConcept C94375191 @default.
- W164484779 hasConcept C94625758 @default.
- W164484779 hasConcept C97364631 @default.
- W164484779 hasConceptScore W164484779C103057564 @default.
- W164484779 hasConceptScore W164484779C111919701 @default.
- W164484779 hasConceptScore W164484779C127705205 @default.
- W164484779 hasConceptScore W164484779C136119220 @default.
- W164484779 hasConceptScore W164484779C154945302 @default.
- W164484779 hasConceptScore W164484779C155911833 @default.
- W164484779 hasConceptScore W164484779C173801870 @default.
- W164484779 hasConceptScore W164484779C17744445 @default.
- W164484779 hasConceptScore W164484779C181095308 @default.
- W164484779 hasConceptScore W164484779C195344581 @default.
- W164484779 hasConceptScore W164484779C199539241 @default.
- W164484779 hasConceptScore W164484779C202444582 @default.
- W164484779 hasConceptScore W164484779C206880738 @default.
- W164484779 hasConceptScore W164484779C2524010 @default.
- W164484779 hasConceptScore W164484779C2776359362 @default.
- W164484779 hasConceptScore W164484779C2777508537 @default.
- W164484779 hasConceptScore W164484779C29123130 @default.
- W164484779 hasConceptScore W164484779C33923547 @default.
- W164484779 hasConceptScore W164484779C41008148 @default.
- W164484779 hasConceptScore W164484779C45357846 @default.
- W164484779 hasConceptScore W164484779C68363185 @default.
- W164484779 hasConceptScore W164484779C80444323 @default.
- W164484779 hasConceptScore W164484779C83725634 @default.
- W164484779 hasConceptScore W164484779C94375191 @default.
- W164484779 hasConceptScore W164484779C94625758 @default.
- W164484779 hasConceptScore W164484779C97364631 @default.
- W164484779 hasLocation W1644847791 @default.
- W164484779 hasOpenAccess W164484779 @default.
- W164484779 hasPrimaryLocation W1644847791 @default.
- W164484779 hasRelatedWork W14254835 @default.
- W164484779 hasRelatedWork W1479899395 @default.
- W164484779 hasRelatedWork W1552144387 @default.
- W164484779 hasRelatedWork W1556489769 @default.
- W164484779 hasRelatedWork W1567090739 @default.
- W164484779 hasRelatedWork W1966613943 @default.
- W164484779 hasRelatedWork W2016515719 @default.
- W164484779 hasRelatedWork W2040141876 @default.
- W164484779 hasRelatedWork W2072881556 @default.
- W164484779 hasRelatedWork W2074940496 @default.
- W164484779 hasRelatedWork W2082996500 @default.
- W164484779 hasRelatedWork W2118253525 @default.
- W164484779 hasRelatedWork W2176663493 @default.
- W164484779 hasRelatedWork W2185606642 @default.