Active Bibliography

Large Cardinals and Determinacy – Peter Koellner - 2011
A First Glance at Non-Restrictiveness – Benedikt Löwe - 1999
Notes on Discrete Mathematics – James Aspnes - 2013
Proofs, Pictures, and Euclid – John Mumma - 2007
1 A Proposal for Automating Diagrammatic Reasoning in Continuous Domains – Daniel Winterstein, Alan Bundy, Mateja Jamnik
30 On Automating Diagrammatic Proofs of Arithmetic Arguments – Mateja Jamnik, Alan Bundy, Ian Green - 1999
Statement – unknown authors
CHAPTER 7 MATHEMATICAL CONCEPTS AND PHYSICAL OBJECTS – unknown authors
Thinking through Drawing Diagram Constructions as Epistemic Mediators in Geometrical Discovery – Lorenzo Magnani
1 Loss of vision: How mathematics turned blind while it learned to see more clearly – Bernd Buldt, Dirk Schlimm - 2010
4 Hilbert’s Program Then and Now – Richard Zach - 2005
1 Continuity Aspects of Embedded Reconfigurable Computing – Phan Cong Vinh, Jonathan P. Bowen - 2005
Informal and Formal Representations in Mathematics – Manfred Kerber , Martin Pollet - 2007
Relating small ontologies – Alan Smaill, Markus Guhe, Alison Pease
1 On automating perceptions and actions in reasoning with military diagrams – Bonny Banerjee, B. Chandrasekaran
1 A spatial constraint satisfaction framework for synthesizing perceptions and actions in diagrammatic reasoning – Bonny Banerjee, B. Chandrasekaran - 2004
6 Experiments in Constraint-Based Automated Scene Generation – Simon Colton
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