Supporting reasoning and problem-solving in mathematical generalisation with dependency graphs

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.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/978-3-540-87730-1_40

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

Archive Staff Only (login required)

Edit/View Item