Making Presentation Math Computable is popular PDF and ePub book, written by André Greiner-Petter in 2023-01-24, it is a fantastic choice for those who relish reading online the Technology & Engineering genre. Let's immerse ourselves in this engaging Technology & Engineering book by exploring the summary and details provided below. Remember, Making Presentation Math Computable can be Read Online from any device for your convenience.

Making Presentation Math Computable Book PDF Summary

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.

Detail Book of Making Presentation Math Computable PDF

Making Presentation Math Computable
  • Author : André Greiner-Petter
  • Release : 24 January 2023
  • Publisher : Springer Nature
  • ISBN : 9783658404734
  • Genre : Technology & Engineering
  • Total Page : 209 pages
  • Language : English
  • PDF File Size : 21,6 Mb

If you're still pondering over how to secure a PDF or EPUB version of the book Making Presentation Math Computable by André Greiner-Petter, don't worry! All you have to do is click the 'Get Book' buttons below to kick off your Download or Read Online journey. Just a friendly reminder: we don't upload or host the files ourselves.

Get Book

Making Presentation Math Computable

Making Presentation Math Computable Author : André Greiner-Petter
Publisher : Springer Nature
File Size : 50,7 Mb
Get Book
This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the ...

Mathematical Software ICMS 2020

Mathematical Software     ICMS 2020 Author : Anna Maria Bigatti,Jacques Carette,James H. Davenport,Michael Joswig,Timo de Wolff
Publisher : Springer Nature
File Size : 33,9 Mb
Get Book
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ...

Church s Thesis After 70 Years

Church s Thesis After 70 Years Author : Adam Olszewski,Jan Wolenski,Robert Janusz
Publisher : Walter de Gruyter
File Size : 7,6 Mb
Get Book
Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifi...

Computability and Complexity

Computability and Complexity Author : Adam Day,Michael Fellows,Noam Greenberg,Bakhadyr Khoussainov,Alexander Melnikov,Frances Rosamond
Publisher : Springer
File Size : 50,5 Mb
Get Book
This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist,...

Slicing the Truth

Slicing the Truth Author : Denis R Hirschfeldt
Publisher : World Scientific
File Size : 52,7 Mb
Get Book
This book is a brief and focused introduction to the reverse mathematics and computability theory of...

Intelligent Computer Mathematics

Intelligent Computer Mathematics Author : Herman Geuvers,Matthew England,Osman Hasan,Florian Rabe,Olaf Teschke
Publisher : Springer
File Size : 12,8 Mb
Get Book
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent C...