A Change-Oriented Architecture for Mathematical Authoring Assistance
Produktnummer:
182f91e172c95e454e8b45caaffc6c24a1
| Autor: | Wagner, Marc |
|---|---|
| Themengebiete: | Change-Oriented Architecture Controlled Mathematical Language Invertible Translation Management of Change Semantic Annotation Language Semantic Change Computation |
| Veröffentlichungsdatum: | 30.03.2011 |
| EAN: | 9783898383332 |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 284 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Akademische Verlagsgesellschaft AKA |
Produktinformationen "A Change-Oriented Architecture for Mathematical Authoring Assistance"
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 OMEGA 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen