Making Presentation Math Computable
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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Online |
| Langue: | anglais |
| Publié: |
Springer Nature
2023
|
| Sujets: | |
| Accès en ligne: | ONIX_20230120_9783658404734_33 |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1869527528472838144 |
|---|---|
| author | Greiner-Petter, André |
| author_browse | Greiner-Petter, André |
| author_facet | Greiner-Petter, André |
| author_sort | Greiner-Petter, André |
| collection | Directory of Open Access Books |
| description | 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. |
| format | Online |
| id | doab-20.500.12854ir-96221 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2023 |
| publishDateRange | 2023 |
| publishDateSort | 2023 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-962212024-04-11T15:11:21Z Making Presentation Math Computable Greiner-Petter, André LaTeX Computer Algebra Systems Presentational Mathematics Presentation to Computation Translations Computable Mathematics Mathematical Information Retrieval thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra 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. 2023-01-22T04:04:52Z 2023-01-22T04:04:52Z 2023-01-20T16:54:17Z 2023 book ONIX_20230120_9783658404734_33 https://library.oapen.org/handle/20.500.12657/60822 9783658404734 https://directory.doabooks.org/handle/20.500.12854/96221 eng open access image/jpeg image/jpeg n/a n/a https://library.oapen.org/bitstream/20.500.12657/60822/1/978-3-658-40473-4.pdf https://library.oapen.org/bitstream/20.500.12657/60822/1/978-3-658-40473-4.pdf Springer Nature Springer Fachmedien Wiesbaden 10.1007/978-3-658-40473-4 10.1007/978-3-658-40473-4 9fa3421d-f917-4153-b9ab-fc337c396b5a National Institute of Informatics 23e2d7ce-c4b0-41e4-8f19-44c30b797360 9783658404734 Springer Fachmedien Wiesbaden 197 Wiesbaden [...] open access |
| spellingShingle | LaTeX Computer Algebra Systems Presentational Mathematics Presentation to Computation Translations Computable Mathematics Mathematical Information Retrieval thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra Greiner-Petter, André Making Presentation Math Computable |
| title | Making Presentation Math Computable |
| title_full | Making Presentation Math Computable |
| title_fullStr | Making Presentation Math Computable |
| title_full_unstemmed | Making Presentation Math Computable |
| title_short | Making Presentation Math Computable |
| title_sort | making presentation math computable |
| topic | LaTeX Computer Algebra Systems Presentational Mathematics Presentation to Computation Translations Computable Mathematics Mathematical Information Retrieval thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra |
| topic_facet | LaTeX Computer Algebra Systems Presentational Mathematics Presentation to Computation Translations Computable Mathematics Mathematical Information Retrieval thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra |
| url | ONIX_20230120_9783658404734_33 |
| work_keys_str_mv | AT greinerpetterandre makingpresentationmathcomputable |