Noch Fragen? 0800 / 33 82 637

A Change-Oriented Architecture for Mathematical Authoring Assistance

Produktform: Buch / Einband - flex.(Paperback)

The computer-assisted authoring of mathematical documents using a scientific text-editor requires new mathematical knowledge management and transformation techniques. The challenge is that, throughout an assistance system like the ΩMEGA system, various kinds of given and derived knowledge units occur in different formats and with different dependencies. If changes occur in these pieces of knowledge, they need to be effectively propagated.We present a Change-Oriented Architecture for mathematical authoring assistance. This work includes an efficient method for the computation of weighted semantic changes and an invertible grammar formalism for the automated bidirectional transformation between interface documents. The presented architecture provides an adequate basis for the computer-assisted authoring of mathematical documents with semantic annotations and a controlled mathematical language.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-89838-333-2 / 978-3898383332 / 9783898383332

Verlag: Akademische Verlagsgesellschaft AKA

Erscheinungsdatum: 30.03.2011

Seiten: 284

Auflage: 1

Zielgruppe: Studenten in der künstlichen Intelligenz, Informatik

Autor(en): Marc Wagner

50,00 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück