Gutierrez-Santos, Sergio and Pearce, D. and Geraniou, E. and Mavrikis, M. (2008) Supporting reasoning and problem-solving in mathematical generalisation with dependency graphs. In: Stapleton, G. and Howse, J. and Lee, J. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science 5223. Berlin, Germany: Springer Verlag, pp. 374-377. ISBN 9783540877301.
Abstract
We present a brief description of the design of a diagram- based system that supports the development of thinking about mathematical generalisation. Within the software, the user constructs a dependency graph that explicitly shows the relationships between components of a task. Using this dependency graph, the user manipulates graphical visualisations of component attributes which helps them move from the specific case to the general rule. These visualisations provide the user with an intermediate representation of generality and facilitate movement between the specific details of the task, the appropriate generalisations, verbal descriptions of their understanding and various algebraic representations of the solutions.
Metadata
Item Type: | Book Section |
---|---|
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Research Centres and Institutes: | Birkbeck Knowledge Lab |
Depositing User: | Sarah Hall |
Date Deposited: | 17 May 2013 15:46 |
Last Modified: | 09 Aug 2023 12:33 |
URI: | https://eprints.bbk.ac.uk/id/eprint/6872 |
Statistics
Additional statistics are available via IRStats2.