Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy (Lecture Notes in Computer Science)
The two cultures: Mashing up Web 2.0 and the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
SWiM - a semantic wiki for mathematical knowledge management
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Interactive learning and mathematical calculus
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
A Mathematical Approach to Ontology Authoring and Documentation
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
STEX+: a system for flexible formalization of linked data
Proceedings of the 6th International Conference on Semantic Systems
Towards MKM in the large: modular representation and scalable software architecture
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The planetary system: executable science, technology, engineering and math papers
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Combining source, content, presentation, narration, and relational representation
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Project abstract: logic atlas and integrator (LATIN)
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
WoM: an open interactive platform for describing, exploring, and sharing mathematical models
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part IV
Publishing math lecture notes as linked data
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
Authoring and publishing units and quantities in semantic documents
ESWC'11 Proceedings of the 8th international conference on The Semantic Web
Semantic Alliance: a framework for semantic allies
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Information and Computation
The MMT API: a generic MKM system
CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |
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.