Using Spatial Semantics to Discover and Verify Diagrammatic Demonstrations of Geometric Propositions
Cited by 3 other publications
Lindsay, Robert K.
. Playing with Diagrams
. In Theory and Application of Diagrams
[Lecture Notes in Computer Science
, 1889], ►
pp. 300 ff.
. Conjectures and manipulations: External representations in scientific reasoning
. Mind & Society
pp. 9 ff.
. AlphaGo, Locked Strategies, and Eco-cognitive Openness
. In Eco-Cognitive Computationalism
[Cognitive Systems Monographs
, 43], ►
pp. 45 ff.
This list is based on CrossRef data as of 19 may 2023. Please note that it may not be complete. Sources presented here have been supplied by the respective publishers.
Any errors therein should be reported to them.