Active Bibliography

Large Cardinals and Determinacy – Peter Koellner - 2011
A First Glance at Non-Restrictiveness – Benedikt Löwe - 1999
Proofs, Pictures, and Euclid – John Mumma - 2007
1 A Proposal for Automating Diagrammatic Reasoning in Continuous Domains – Daniel Winterstein, Alan Bundy, Mateja Jamnik
24 On Automating Diagrammatic Proofs of Arithmetic Arguments – Mateja Jamnik, Alan Bundy, Ian Green - 1999
Statement – unknown authors
2 Hilbert’s Program Then and Now – Richard Zach - 2005
CHAPTER 7 MATHEMATICAL CONCEPTS AND PHYSICAL OBJECTS – unknown authors
Thinking through Drawing Diagram Constructions as Epistemic Mediators in Geometrical Discovery – Lorenzo Magnani
1. Are Virtual Learning Environments used to facilitate collaborative 5 – Chris Turnock, Pat Gannon-leary - 2008
Avoid ambiguity! (If you can) – Tyler Marghetis, Rafael Núñez, Jamie Alexandre, Rachel I. Mayberry, Pamela Witcher, Eileen R. Cardillo, Kim Plunkett, Jennifer Aydelott, Victor S. Ferreira - 2006
unknown title – Rafael E. Núñez
With the Future Behind Them: Convergent Evidence From Aymara Language and Gesture in the Crosslinguistic Comparison of Spatial Construals of Time – Rafael E. Núñez A, Eve Sweetser B - 2005
Frequently Asked Questions in Mathematics – unknown authors
1 Continuity Aspects of Embedded Reconfigurable Computing – Phan Cong Vinh, Jonathan P. Bowen - 2005
1 On automating perceptions and actions in reasoning with military diagrams – Bonny Banerjee, B. Ch
1 A spatial constraint satisfaction framework for synthesizing perceptions and actions in diagrammatic reasoning – Bonny Banerjee, B. Ch - 2004
2 Experiments in Constraint-Based Automated Scene Generation – Simon Colton
Informal and Formal Representations in Mathematics – Manfred Kerber , Martin Pollet - 2007