Making Presentation Math Computable: A Context-Sensitive Approach for Translating Latex to Computer Algebra Systems
Dieses Open-Access-Buch befasst sich mit der Übersetzung von mathematischen Ausdrücken aus LaTeX in die Syntax von Computer Algebra Systems (CAS). In den letzten Jahrzehnten hat sich LaTeX vor allem in den Bereichen Naturwissenschaften, Technik, Ingenieurwesen und Mathematik (MINT) zum De-facto-Standard für den Satz mathematischer Formeln in Publikationen entwickelt. Da Wissenschaftler in der Regel verpflichtet sind, ihre Arbeiten zu veröffentlichen, ist LaTeX ein integraler Bestandteil des heutigen Publikations-Workflows geworden. Andererseits verlässt sich die moderne Forschung zunehmend auf CAS, um Mathematik zu vereinfachen, zu manipulieren, zu berechnen und zu visualisieren. Die bestehenden LaTeX-Importfunktionen in CAS beschränken sich jedoch auf einfache arithmetische Ausdrücke und sind daher für die meisten Anwendungsfälle unzureichend. Folglich umfasst der Arbeitsablauf beim Experimentieren und Publizieren in den Wissenschaften oft zeitaufwändige und fehleranfällige manuelle Konvertierungen zwischen LaTeX-Präsentations- und CAS-Rechenformaten. Um das Fehlen eines zuverlässigen und umfassenden Übersetzungswerkzeugs zwischen LaTeX und CAS zu beheben, leistet diese Arbeit die folgenden drei Beiträge. Erstens bietet sie einen Ansatz zur semantischen Anreicherung von LaTeX-Ausdrücken mit ausreichenden semantischen Informationen für die Übersetzung in CAS-Syntaxen. Zweitens wird das erste kontextabhängige LaTeX-CAS-Übersetzungssystem LaCASt vorgestellt.
Drittens bietet die Arbeit einen neuartigen Ansatz zur Bewertung der Leistung von LaTeX-zu-CAS-Übersetzungen auf großen Datensätzen mit einer automatischen Überprüfung von Gleichungen in digitalen mathematischen Bibliotheken.
Dies ist ein frei zugängliches Buch.
| ISBN: | 9783658404727 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2023 |
| Seitenzahl: | 197 |
Derzeit verfügbar, auf Lager.
