Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

DOI10.1007/978-3-642-02614-0_28MaRDI QIDQ3637290zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Andrea Kohlhase, Michael 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

Mathematics Subject Classification ID

Graph theory (05C99) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
• Diagrammatic Representation and Inference
• Compensating the Computational Bias of Spreadsheets with MKM Techniques
• Mathematical context in interactive documents
• Interactive Mathematical Documents

Cites work

• A scalable module system
• Communities of Practice in MKM: An Extensional Model
• Compensating the Computational Bias of Spreadsheets with MKM Techniques
• Computerizing mathematical text with MathLang
• scientific article; zbMATH DE number 1614690 (Why is no real title available?)
• scientific article; zbMATH DE number 1693526 (Why is no real title available?)
• Mathematical Knowledge Management
• Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11--12, 2006. Proceedings.
• Using La\TeX\ as a semantic markup format

Cited in

(4)

• Math Literate Knowledge Management via Induced Material
• Compensating the Computational Bias of Spreadsheets with MKM Techniques
• SACHS
• Towards an interaction-based integration of MKM services into end-user applications

Describes a project that uses

Uses Software

• Excel
• OMDoc
• MathDox
• MMT

This page was built for publication: Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3637290)