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

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- tion...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Kohlhase, Michael (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Lecture Notes in Artificial Intelligence, 4180
Temas:
Artificial intelligence.
Computer software.
Computer science.
Information storage and retrieval systems.
Machine theory.
Computer science-Mathematics.
Artificial Intelligence.
Mathematical Software.
Theory of Computation.
Information Storage and Retrieval.
Formal Languages and Automata Theory.
Symbolic and Algebraic Manipulation.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares