Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Foreword by Alan Bundy
BuchKartoniert, Paperback
432 Seiten
Englisch
Springererschienen am17.08.2006
But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Taking advantage of these new oppor- nities has required the learning of new skills, such as using computer algebra and graphics packages.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextBut powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Taking advantage of these new oppor- nities has required the learning of new skills, such as using computer algebra and graphics packages.
Details
ISBN/GTIN978-3-540-37897-6
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2006
Erscheinungsdatum17.08.2006
ReiheLecture Notes in Computer Science
Seiten432 Seiten
SpracheEnglisch
Gewicht684 g
IllustrationenXIX, 432 p.
Artikel-Nr.10733949

Inhalt/Kritik

Inhaltsverzeichnis
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.mehr
Kritik
From the reviews:



"The OMDoc open markup format for mathematical documents is presented in this book. ... The book situates OMDoc relative to other markup systems for mathematics, provides the justification for the approach taken, and documents the system with principles and examples. ... The scope of the work presented here will make it interesting to all those who have an interest in the markup and processing of mathematical documents." (D. T. Barnard, ACM Computing Reviews, Vol. 49 (3), March, 2008)mehr

Schlagworte