Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs Export

@inproceedings{migen-diagrams, 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.}, author = {Guti\'{e}rrez, Sergio and Pearce, Darren and Geraniou, Eirini and Mavrikis, Manolis}, booktitle = {Diagrammatic Representation and Inference}, citeulike-article-id = {4285445}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-87730-1_40}, citeulike-linkout-1 = {http://www.springerlink.com/content/f3hp844p2x044788}, doi = {10.1007/978-3-540-87730-1_40}, journal = {Diagrammatic Representation and Inference}, keywords = {dependency-graphs, graph, migen-diagrams}, pages = {374--377}, posted-at = {2009-04-08 01:57:57}, priority = {0}, title = {Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs}, url = {http://dx.doi.org/10.1007/978-3-540-87730-1_40}, year = {2008} }

TY - CONF ID - migen-diagrams L3 - citeulike-article-id:4285445 N2 - 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. JF - Diagrammatic Representation and Inference EP - 377 TI - Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs T2 - Diagrammatic Representation and Inference SP - 374 KW - dependency-graphs KW - graph KW - migen-diagrams AU - Gutiérrez, Sergio AU - Pearce, Darren AU - Geraniou, Eirini AU - Mavrikis, Manolis PY - 2008/// UR - http://dx.doi.org/10.1007/978-3-540-87730-1_40 ER -