Integrating web services into active mathematical documents

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

Volumn 5625 LNAI, Issue , 2009, Pages 279-293

  Giceva, Jana ^a   Lange, Christoph ^a   Rabe, Florian ^a  

^a JACOBS UNIVERSITY BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE DOCUMENTS; CLIENT/SERVER; INTERACTIVITY; JAVASCRIPT; LECTURE NOTES; LOOKUPS; MATHEMATICAL EXPRESSIONS; THREE COMPONENT; USER INTERACTION;

INTEGRATION; KNOWLEDGE MANAGEMENT;

WEB SERVICES;

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

References (35)

1. Adida, B., Birbeck, M., McCarron, S., Pemberton, S.: RDFa in XHTML: Syntax and processing. Recommendation, W3C (2008)
2. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.): AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144. Springer, Heidelberg (2008)
3. ActiveMath (2008), http://www.activemath.org/
4. Ankolekar, A., Krötzsch, M., Tran, T., Vrandečić, D.: The two cultures: Mashing up Web 2.0 and the Semantic Web. Web Semantics 6(1) (2008)
5. Bradner, S.: Key words for use in RFCs to indicate requirement levels. RFC 2119, Internet Engineering Task Force (1997)
6. Cohen, A.M., Cuypers, H., Jibetean, D., Spanbroek, M.: Interactive learning and mathematical calculus. In: Kohlhase, M. (ed.) MKM 2005. LNCS (LNAI), vol. 3863, pp. 330-345. Springer, Heidelberg (2006)
7. Cuypers, H., Cohen, A.M., Knopper, J.W., Verrijzer, R., Spanbroek, M.: MathDox, a system for interactive Mathematics. In: Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications. AACE (2008)
8. Davenport, J.H., Naylor,W.A.: Units and dimensions in OpenMath (2003), http://www.openmath.org/documents/Units.pdf
9. Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)
10. Gerdes, A., Heeren, B., Jeuring, J., Stuurman, S.: Feedback services for exercise assistants. Technical Report UU-CS-2008-018, Utrecht University (2008)
11. Giceva, J.: Capturing Rhetorical Aspects in Mathematical Documents using OMDoc and SALT. Technical report, Jacobs University, DERI Galway (2008), https://svn.kwarc.info/repos/supervision/intern/2008/giceva-jana/project/ internship%20report.pdf
12. Goguadze, G., Melis, E.: Feedback in ActiveMath exercises. In: International Conference on Mathematics Education (ICME) (2008)
13. https://jomdoc.omdoc.org/wiki/JOBAD (2009)
14. Kohlhase, M., Anca, S., Jucovschi, C., González Palomo, A., Şucan, I.A.: MathWebSearch 0.4, a semantic search engine for mathematics (manuscript 2008), http://mathweb.org/projects/mws/pubs/mkm08.pdf
15. Kohlhase, M., Lange, C., Müller, C., Müller, N., Rabe, F.: Notations for active documents. KWARC Report 2009-1, Jacobs University (2009), http://kwarc.info/publications/papers/KLMMR-NfAD.pdf
16. Kohlhase, M., Müller, C., Müller, N.: Documents with flexible notation contexts as interfaces to mathematical knowledge. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop (2007)
17. +08]
18. Kohlhase, M.: OMDoc - An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
19. Kohlhase, M.: Using LATEX as a semantic markup format. Mathematics in Computer Science (2008)
20. Lange, C.: SWiM - a semantic wiki for mathematical knowledge management. In: Bechhofer, S., Hauswirth,M., Hoffmann, J., Koubarakis,M. (eds.) ESWC 2008. LNCS, vol. 5021, pp. 832-837. Springer, Heidelberg (2008)
21. Lange, C.: OpenMath wiki (2009), http://wiki.openmath.org
22. Lange, C., González Palomo, A.: Easily editing and browsing complex OpenMath markup with SWiM. In: Libbrecht, P. (ed.) Mathematical User Interfaces Workshop (2008), http://www.activemath.org/̃paul/MathUI08
23. Melis, E., Goguadze, G., Homik, M., Libbrecht, P., Ullrich, C., Winterstein, S.: Semantic-aware components and services of activemath. British Journal of Educational Technology 37(3) (2006)
24. MONET (March 2005), http://monet.nag.co.uk/mkm
25. Mozilla Labs. Ubiquity (2009), http://ubiquity.mozilla.com
26. O'Reilly, T.: What is Web 2.0 (2005), http://www.oreillynet.com/pub/a/ oreilly/tim/news/2005/09/30/what-is-web-20.html
27. The panta rhei Project (March 2009), http://trac.kwarc.info/panta-rhei
28. 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)
29. The SCIEnce project - symbolic computation infrastructure for europe [online] (2009)
30. +08]
31. Stratford, J.: Creating an extensible unit converter using openmath as the representation of the semantics of the units. Technical Report 2008-02, University of Bath (2008), http://www.cs.bath.ac.uk/pubdb/download.php?resID=290
32. TNTBase Project (2009), https://trac.mathweb.org/tntbase/
33. Ullrich, C.: Courseware Generation for Web-Based Learning. LNCS, vol. 5260. Springer, Heidelberg (2008)
34. W3C. Mathematical Markup Language (MathML) 3.0, 3rd edn.
35. Yahoo! Pipes [online] (2009)