OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy /

• Κύριος συγγραφέας: Kohlhase, Michael (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4180
• Θέματα: Computer science.; Computers.; Mathematical logic.; Computer science > Mathematics.; Information storage and retrieval.; Artificial intelligence.; Computer software.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Software.; Theory of Computation.; Information Storage and Retrieval.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.

Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in compu- tional te...

Πίνακας περιεχομένων:

• Setting the Stage for Open Mathematical Documents
• Setting the Stage for Open Mathematical Documents
• Document Markup for the Web
• Markup for Mathematical Knowledge
• OMDoc: Open Mathematical Documents
• An OMDoc Primer
• An OMDoc Primer
• Mathematical Textbooks and Articles
• OpenMath Content Dictionaries
• Structured and Parametrized Theories
• A Development Graph for Elementary Algebra
• Courseware and the Narrative/Content Distinction
• Communication with and Between Mathematical Software Systems
• The OMDoc Document Format
• The OMDoc Document Format
• OMDoc as a Modular Format
• Document Infrastructure (Module DOC)
• Metadata (Modules DC and CC)
• Mathematical Objects (Module MOBJ)
• Mathematical Text (Modules MTXT and RT)
• Mathematical Statements (Module ST)
• Abstract Data Types (Module ADT)
• Representing Proofs (Module PF)
• Complex Theories (Modules CTH and DG)
• Notation and Presentation (Module PRES)
• Auxiliary Elements (Module EXT)
• Exercises (Module QUIZ)
• Document Models for OMDoc
• OMDoc Applications, Tools, and Projects
• OMDoc Applications, Tools, and Projects
• OMDoc Resources
• Validating OMDoc Documents
• Transforming OMDoc by XSLT Style Sheets
• OMDoc Applications and Projects
• Changes to the Specification
• Quick-Reference Table to the OMDoc Elements
• Quick-Reference Table to the OMDoc Attributes
• The RelaxNG Schema for OMDoc
• The RelaxNG Schemata for Mathematical Objects.