Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Making Presentation Math Computable

A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
Buch | Softcover
XVIII, 197 Seiten
2023 | 1. Auflage
Springer Fachmedien Wiesbaden GmbH (Verlag)
978-3-658-40472-7 (ISBN)

Lese- und Medienproben

Making Presentation Math Computable - André Greiner-Petter
CHF 59,90 inkl. MwSt
This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries.

This is an open access book.

Dr. André Greiner-Petter is a postdoctoral researcher at the NII.

1. Introduction.-2. Mathematical Information Retrieval.-3. Semantification of Mathematical LaTeX.-4. From LaTeX to Computer Algebra Systems.-5. Qualitative and Quantitative Evaluations.-6. Conclusion and Future Work

Erscheinungsdatum
Zusatzinfo Illustrationen
Verlagsort Wiesbaden
Sprache englisch
Maße 148 x 210 mm
Gewicht 268 g
Themenwelt Informatik Theorie / Studium Künstliche Intelligenz / Robotik
Mathematik / Informatik Mathematik Algebra
Mathematik / Informatik Mathematik Angewandte Mathematik
Technik
Schlagworte computable mathematics • Computer Algebra Systems • Latex • mathematical information retrieval • open access • Presentational Mathematics • Presentation to Computation Translations
ISBN-10 3-658-40472-8 / 3658404728
ISBN-13 978-3-658-40472-7 / 9783658404727
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Eine kurze Geschichte der Informationsnetzwerke von der Steinzeit bis …

von Yuval Noah Harari

Buch | Hardcover (2024)
Penguin (Verlag)
CHF 39,20