Skip to main content
SpringerLink
Account

Making Presentation Math Computable

A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems

  • Book
  • Open Access
  • © 2023

You have full access to this open access Book

Download book PDF

Overview

Authors:
  1. André Greiner-Petter

    1. Berlin, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • This book is open access, which means that you have free and unlimited access.

Buy print copy

Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Table of contents (6 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Introduction

    • André Greiner-Petter
    Pages 1-16Open Access
    Download chapter PDF

  3. Mathematical Information Retrieval

    • André Greiner-Petter
    Pages 17-55Open Access
    Download chapter PDF

  4. Semantification of Mathematical LaTeX

    • André Greiner-Petter
    Pages 57-93Open Access
    Download chapter PDF

  5. From LaTeX to Computer Algebra System

    • André Greiner-Petter
    Pages 95-112Open Access
    Download chapter PDF

  6. Qualitative and Quantitative Evaluations

    • André Greiner-Petter
    Pages 113-140Open Access
    Download chapter PDF

  7. Conclusion and FutureWork

    • André Greiner-Petter
    Pages 141-159Open Access
    Download chapter PDF

  8. Back Matter

    Pages 161-197
    Download chapter PDF
Back to top

Keywords

About this book

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.



Authors and Affiliations

  • Berlin, Germany

    André Greiner-Petter

About the author

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

Bibliographic Information

  • Book Title: Making Presentation Math Computable

  • Book Subtitle: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems

  • Authors: André Greiner-Petter

  • DOI: https://doi.org/10.1007/978-3-658-40473-4

  • Publisher: Springer Vieweg Wiesbaden

  • eBook Packages: Computer Science and Engineering (German Language)

  • Copyright Information: The Editor(s) (if applicable) and The Author(s) 2023

  • License: CC BY

  • Softcover ISBN: 978-3-658-40472-7Published: 01 January 2023

  • eBook ISBN: 978-3-658-40473-4Published: 31 December 2022

  • Edition Number: 1

  • Number of Pages: XVIII, 197

  • Number of Illustrations: 3 b/w illustrations, 58 illustrations in colour

  • Topics: Mathematical and Computational Engineering, Computational Intelligence, Algebra, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation