Skip to main content

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


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

Buy print copy

Softcover Book USD 16.99 USD 49.99
Discount applied 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)


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:

  • Publisher: Springer Vieweg Wiesbaden

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

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

  • 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