Abstract
Active mathematical documents are distinguished from traditional paper-oriented ones by their ability to interactively adapt to a reader’s inputs. This includes changes in the presentation of the content of the document as well as changes of that content itself.
We have developed the JOBAD architecture, a client/server infrastructure for active mathematical documents. A server-side module generates active documents, which a client-side JavaScript library makes accessible for user interaction. Further server-side modules – in the same backend, or distributed web services – dynamically respond to callbacks invoked when the user interacts with the client. These three components are tied together by the JOBAD active document format, which backwards-compatibly enhances MathML by information about interactivity.
JOBAD is designed to be modular in the specific web services offered. As examples, we present folding and elision in mathematical expressions, type and definition lookup of symbols, as well as conversion of physical units. We evaluate our framework with a case study where a large collection of lecture notes is served as an active document.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Adida, B., Birbeck, M., McCarron, S., Pemberton, S.: RDFa in XHTML: Syntax and processing. Recommendation, W3C (2008)
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)
ActiveMath (2008), http://www.activemath.org/
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)
Bradner, S.: Key words for use in RFCs to indicate requirement levels. RFC 2119, Internet Engineering Task Force (1997)
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)
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)
Davenport, J.H., Naylor, W.A.: Units and dimensions in OpenMath (2003), http://www.openmath.org/documents/Units.pdf
Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000)
Gerdes, A., Heeren, B., Jeuring, J., Stuurman, S.: Feedback services for exercise assistants. Technical Report UU-CS-2008-018, Utrecht University (2008)
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
Goguadze, G., Melis, E.: Feedback in ActiveMath exercises. In: International Conference on Mathematics Education (ICME) (2008)
Kohlhase, M., Anca, Ş., 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
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
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)
Kohlhase, M., Müller, C., Rabe, F.: Notations for Living Mathematical Documents. In: Autexier, et al. (eds.) [ACR+08]
Kohlhase, M.: OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]. LNCS (LNAI), vol. 4180. Springer, Heidelberg (2006)
Kohlhase, M.: Using LaTex as a semantic markup format. Mathematics in Computer Science (2008)
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)
Lange, C.: OpenMath wiki (2009), http://wiki.openmath.org
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
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)
MONET (March 2005), http://monet.nag.co.uk/mkm
Mozilla Labs. Ubiquity (2009), http://ubiquity.mozilla.com
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
The panta rhei Project (March 2009), http://trac.kwarc.info/panta-rhei
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)
The SCIEnce project – symbolic computation infrastructure for europe [online] (2009)
Stratford, J., Davenport, J.H.: Unit knowledge management. In: Autexier, et al. (eds.) [ACR+08]
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
TNTBase Project (2009), https://trac.mathweb.org/tntbase/
Ullrich, C.: Courseware Generation for Web-Based Learning. LNCS, vol. 5260. Springer, Heidelberg (2008)
W3C. Mathematical Markup Language (MathML) 3.0, 3rd edn.
Yahoo! Pipes [online] (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giceva, J., Lange, C., Rabe, F. (2009). Integrating Web Services into Active Mathematical Documents. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds) Intelligent Computer Mathematics. CICM 2009. Lecture Notes in Computer Science(), vol 5625. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02614-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-02614-0_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02613-3
Online ISBN: 978-3-642-02614-0
eBook Packages: Computer ScienceComputer Science (R0)