Representing and handling mathematical concepts by humans and machines (invited talk abstract)
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
Extending Development Graphs with Hiding
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
An Infrastructure for Intertheory Reasoning
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
Computerizing Mathematical Text with MathLang
Electronic Notes in Theoretical Computer Science (ENTCS)
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Communities of practice in MKM: an extensional model
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
A tough nut for mathematical knowledge management
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Towards user assistance for documents via interactional semantic technology
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Systematic evolution of model-based spreadsheet applications
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing , in which an object of interest is viewed in terms of well-understood mathematical structures. The new perspective not only allows to deepen the understanding of a resp. object, it also facilitates new insights. We propose a model for framing in the context of theory graphs, and show how framing can be exploited to enhance the interaction with MKM systems. We use the framing extension of our SACHS system -- a semantic help system for MS Excel -- as a concrete example.