Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems /
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 typese...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Wiesbaden
Springer Fachmedien Wiesbaden
[2023]
|
| Subjects: | |
| Online Access: | CONNECT |
MARC
| LEADER | 00000cam a22000007i 4500 | ||
|---|---|---|---|
| 001 | in00006324469 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 230114s2023 gw a ob 000 0 eng d | ||
| 005 | 20230823141803.4 | ||
| 019 | |a 1369651541 |a 1369674645 |a 1372395183 |a 1373352631 |a 1375295045 |a 1379682216 |a 1380464906 |a 1382085481 |a 1385451803 |a 1388496541 |a 1389609900 |a 1390560457 |a 1390923428 |a 1391440484 |a 1392342439 |a 1393305729 | ||
| 020 | |a 3658404736 |q (electronic bk.) | ||
| 020 | |a 9783658404734 |q (electronic bk.) | ||
| 024 | 7 | |a 10.1007/978-3-658-40473-4 |2 doi | |
| 035 | |a 1WRLDSHRon1356891720 | ||
| 035 | |a (OCoLC)1356891720 |z (OCoLC)1369651541 |z (OCoLC)1369674645 |z (OCoLC)1372395183 |z (OCoLC)1373352631 |z (OCoLC)1375295045 |z (OCoLC)1379682216 |z (OCoLC)1380464906 |z (OCoLC)1382085481 |z (OCoLC)1385451803 |z (OCoLC)1388496541 |z (OCoLC)1389609900 |z (OCoLC)1390560457 |z (OCoLC)1390923428 |z (OCoLC)1391440484 |z (OCoLC)1392342439 |z (OCoLC)1393305729 | ||
| 040 | |a YDX |b eng |e rda |c YDX |d YDX |d EBLCP |d OCLCQ |d SFB |d OCLCF | ||
| 049 | |a TXMM | ||
| 050 | 4 | |a QA155.7.E4 |b G74 2023 | |
| 082 | 0 | 4 | |a 512.0285 |2 23 |
| 100 | 1 | |a Greiner-Petter, André, |e author. | |
| 245 | 1 | 0 | |a Making Presentation Math Computable : |b A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / |c by André Greiner-Petter. |
| 264 | 1 | |a Wiesbaden |b Springer Fachmedien Wiesbaden |c [2023] | |
| 300 | |a 1 online resource (xviii, 197 pages : |b illustrations (color, black & white) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references. | ||
| 588 | |a Description based on online resource; title from digital title page (viewed on January 20, 2023). | ||
| 520 | |a 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. | ||
| 546 | |a English. | ||
| 500 | |a OAPEN Library |5 TMurS | ||
| 650 | 0 | |a Algebra |x Data processing. | |
| 730 | 0 | |a WORLDSHARE SUB RECORDS | |
| 776 | 0 | 8 | |i Print version: |a Greiner-Petter, André |t Making Presentation Math Computable |d Wiesbaden : Springer Fachmedien Wiesbaden GmbH,c2023 |z 9783658404727 |
| 856 | 4 | 0 | |u https://library.oapen.org/handle/20.500.12657/60822 |z CONNECT |3 Open Access Publishing in European Networks |t 0 |
| 949 | |a ho0 | ||
| 994 | |a 92 |b TXM | ||
| 998 | |a wi |d z | ||
| 999 | f | f | |s 251dcda7-eb5d-4e0a-81cc-fe5f6688133f |i ca14b515-4de4-4014-9877-fb2c4e9fead3 |t 0 |
| 952 | f | f | |a Middle Tennessee State University |b Main |c James E. Walker Library |d Electronic Resources |t 0 |e QA155.7.E4 G74 2023 |h Library of Congress classification |
