Integrating Web Services into Active Mathematical Documents

DOI10.1007/978-3-642-02614-0_24zbMath1247.68314OpenAlexW1536071047MaRDI QIDQ3637285

Jana Giceva, Florian Rabe, Christoph Lange

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_24

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items

A scalable module system, Combining Source, Content, Presentation, Narration, and Relational Representation, Project Abstract: Logic Atlas and Integrator (LATIN), A Mathematical Approach to Ontology Authoring and Documentation, System Description: MathHub.info

Uses Software

• MathWebSearch
• ActiveMath
• JavaScript
• OMDoc
• TNTBase
• MathDox
• sTeX
• LaTeX

Cites Work

• Using La\TeX\ as a semantic markup format
• Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings
• Unit Knowledge Management
• Notations for Living Mathematical Documents
• Mathematical Knowledge Management