Using Spatial Semantics to Discover and Verify Diagrammatic Demonstrations of Geometric Propositions

Lindsay, Robert K.

doi:10.1075/aicr.26.16lin

Part of

Spatial Cognition: Foundations and applications
Edited by Seán Ó Nualláin
[Advances in Consciousness Research 26] 2000
► pp. 199–212

Using Spatial Semantics to Discover and Verify Diagrammatic Demonstrations of Geometric Propositions

Robert K. Lindsay | University of Michigan

Published online: 23 November 2000

https://doi.org/10.1075/aicr.26.16lin

Cited by

Cited by 3 other publications

Lindsay, Robert K.

2000. Playing with Diagrams. In Theory and Application of Diagrams [Lecture Notes in Computer Science, 1889], ► pp. 300 ff.

Magnani, Lorenzo

2002. Conjectures and manipulations: External representations in scientific reasoning. Mind & Society 3:1 ► pp. 9 ff.

Magnani, Lorenzo

2022. 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.