Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
From MaRDI portal
Publication:3637290
DOI10.1007/978-3-642-02614-0_28zbMath1247.68274WikidataQ57389415 ScholiaQ57389415MaRDI QIDQ3637290
Michael Kohlhase, Andrea Kohlhase
Publication date: 9 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_28
68T30: Knowledge representation
68T35: Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
05C99: Graph theory
Related Items
SACHS, Math Literate Knowledge Management via Induced Material, Compensating the Computational Bias of Spreadsheets with MKM Techniques
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A scalable module system
- Using La\TeX\ as a semantic markup format
- Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11--12, 2006. Proceedings.
- Computerizing Mathematical Text with MathLang
- Compensating the Computational Bias of Spreadsheets with MKM Techniques
- Communities of Practice in MKM: An Extensional Model
- Mathematical Knowledge Management