Spreadsheet interaction with frames: Exploring a mathematical practice

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5625 LNAI, Issue , 2009, Pages 341-356

  Kohlhase, Andrea ^a   Kohlhase, Michael ^b  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

^b JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HELP SYSTEMS; MATHEMATICAL STRUCTURE; MS EXCEL; OBJECT OF INTERESTS;

KNOWLEDGE MANAGEMENT; SPREADSHEETS;

MATHEMATICAL TECHNIQUES;

EID: 69049100092     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02614-0_28     Document Type: Conference Paper

References (20)

1. Barendregt, H., Cohen, A.M.: Representing and handling mathematical concepts by humans and machines. In: ISSAC 2000: Proceedings of the 2000 international symposium on Symbolic and algebraic computation. ACM, New York (2000)
2. Borwein, J.M., Farmer, W.M. (eds.): MKM 2006. LNCS (LNAI), vol. 4108. Springer, Heidelberg (2006)
3. Cohen, A.M., Cuypers, H., Barreiro, E.R.: Mathdox: Mathematical documents on the web. In: OMDoc - An open markup format for mathematical documents [Version 1.2] [Koh06], ch. 26.7, pp. 278-282
4. Farmer, W.: An infrastructure for intertheory reasoning. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 115-131. Springer, Heidelberg (2000)
5. Farmer, W., Guttman, J., Thayer, X.: Little theories. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 467-581. Springer, Heidelberg (1992)
6. Holzkamp, K.: Lernen: Subjektwissenschaftliche Grundlegung. Campus Verlag (1995)
7. Kohlhase, A., Kohlhase, M.: Communities of Practice in MKM: An Extensional Model. In: Borwein, Farmer (eds.) [BF06], pp. 179-193
8. Kohlhase, A., Kohlhase, M.: Compensating the Computational Bias of Spreadsheets with MKM Techniques. In: Carette, J., Dixon, L., Sacerdoti Coen, C., Watt, S.M. (eds.) Calculemus/MKM 2009. LNCS (LNAI), vol. 5625, pp. 357-372. Springer, Heidelberg (2009)
9. Kohlhase, A., Kohlhase, M.: Semantic knowledge management for education. Proceedings of the IEEE, Special Issue on Educational Technology 96(6), 970-989 (2008)
10. Kohlhase, M., Mahnke, A., Müller, C.: Managing Variants in Document Content and Narrative Structures. In: Hinneburg, A. (ed.) Wissensund Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, pp. 324-229. Martin-Luther-University Halle-Wittenberg (2007)
11. Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
12. Kerber, M., Pollet, M.: A tough nut for mathematical knowledge management. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, pp. 81-95. Springer, Heidelberg (2006)
13. Kamareddine, F., Wells, J.B., Zenglere, C.: Computerizing mathematical text with mathlang. Electron. Notes Theor. Comput. Sci. 205, 5-30 (2008)
14. Mossakowski, T., Autexier, S., Hutter, D.: Extending development graphs with hiding. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 269-284. Springer, Heidelberg (2001)
15. Rabe, F., Kohlhase, M.: An exchange format for modular knowledge. In: Rudnicki, P., Sutcliffe, G. (eds.) Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) (November 2008)
16. Rabe, F., Kohlhase, M.: A web-scalable module system for mathematical theories. The Journal of Symbolic Computation (manuscript, to be submitted) (2009)
17. Charles, F.: Schmidt. Productive thinking...the gestalt emphasis (2009), http://www.rci.rutgers.edu/̃cfs/305-html/Gestalt/gestalt.html
18. Snow, D.A., Rochford, E.B., Worden, S.K., Benford, R.D.: Frame alignment processes, micromobilization, and movement participation. American Sociological Review 51(4), 464-481 (1986)
19. Windsteiger, W.: On a solution of the mutilated checkerboard problem using the theorema set theory prover. In: Linton, S., Sebastiani, R. (eds.) Proceedings of the Calculemus 2001 Symposium, Siena, Italy, pp. 28-47 (2001)
20. Winograd, T.: The spreadsheet. In: Winograd, T., Bennett, J., de Young, L., Hartfield, B. (eds.) Bringing Design to Software, 1996, pp. 228-231. Addison-Wesley, Reading (2006)