Integrating Web Services into Active Mathematical Documents

DOI10.1007/978-3-642-02614-0_24MaRDI QIDQ3637285zbMATH OpenOpenAlexFDO

Authors Jana Giceva, Christoph Lange, Florian Rabe

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)

Recommendations

• scientific article; zbMATH DE number 1961549
• Interactive Mathematical Documents
• Mathematical context in interactive documents
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 1982670

Cites work

• 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
• Mathematical Knowledge Management
• Notations for Living Mathematical Documents
• Unit Knowledge Management
• Using La\TeX\ as a semantic markup format

Cited in

(7)

• A Mathematical Approach to Ontology Authoring and Documentation
• A scalable module system
• scientific article; zbMATH DE number 1982670 (Why is no real title available?)
• Using camlp4 for presenting dynamic mathematics on the web
• Combining source, content, presentation, narration, and relational representation
• Project abstract: logic atlas and integrator (LATIN)
• System description: MathHub.info

Describes a project that uses

Uses Software

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

This page was built for publication: Integrating Web Services into Active Mathematical Documents

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