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

Lindsay, Robert K.

doi:10.1075/aicr.26.16lin

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

Get fulltext from our e-platform

Download Book PDF

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 (3)

Cited by three other publications

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.

Lindsay, Robert K.

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

This list is based on CrossRef data as of 9 march 2026. 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.