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: | eBook |
| Language: | English |
| Published: |
Wiesbaden
Springer Nature
2023
Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH National Institute of Informatics |
| Edition: | 1 |
| Subjects: | |
| ISBN: | 3658404736, 9783658404734, 3658404728, 9783658404727 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | 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. |
|---|---|
| AbstractList | 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. |
| Author | Greiner-Petter, André |
| Author_xml | – sequence: 1 fullname: Greiner-Petter, André |
| BookMark | eNpNkEtPAjEUhWt8REF-gHFDoolxMXrbTh-zcKGIjwTEhXHbdGYKjAxTbAeM_97CEMOqPbffub3nttBBZSuD0BmGGwwgbhMhIxpxJqMYYkGjeA-1aJAbxfd3xRFqYRY8nAoQx6jj_RcAEEmJwPIEXQz1rKgm3XdnvKlqXRe26g51Pe327HyxrHVamlN0ONalN53t2UafT_2P3ks0GD2_9u4HkQ7tOIvSPCZsLEyWYmAskyKTHMY0lIXWPE9CDXLBpAGW5pyOOeU8NjiWiQwOk9E2umwa25VxuStWRqXWzrwaPb4BrJNjQUjArhtM-5n58VNb1l6tStOwYTf_6ePAXjXswtnvpfG12mBZyOp0qfoPPYE5EwkP5N32c70wlVq4Yq7dr7K6UGWRuua-frFuogiosFSFSfAqDnIz1fmuP7d6Ow8nBNM_xMJ-PQ |
| ContentType | eBook |
| DBID | V1H A7I AHRNR |
| DOI | 10.1007/978-3-658-40473-4 |
| DatabaseName | DOAB: Directory of Open Access Books OAPEN OverDrive Ebooks |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: V1H name: DOAB: Directory of Open Access Books url: https://directory.doabooks.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Applied Sciences Mathematics Computer Science Engineering |
| EISBN | 3658404736 9783658404734 |
| Edition | 1 1st ed. 2023. |
| ExternalDocumentID | ODN0010071722 9783658404734 EBC7165796 oai_library_oapen_org_20_500_12657_60822 96221 |
| Genre | Electronic books |
| GrantInformation_xml | – fundername: National Institute of Informatics |
| GroupedDBID | 38. A7I AABBV AAKKN AALJR AAQKC ABEEZ ACBPT AEKFX AGWHU AHRNR AIQUZ AKLKM ALMA_UNASSIGNED_HOLDINGS ALNDD ARPAW BBABE CZZ EIXGO IEZ SBO TPJZQ V1H Z5O Z7R Z7S Z7U Z7W Z7X Z7Y Z7Z Z83 Z85 Z88 AAYZJ AKAAH |
| ID | FETCH-LOGICAL-a28365-bd425f7ecb1055c87c860f3bd47aa6d955c0d758e05bd63f63664e14898b10ec3 |
| IEDL.DBID | A7I |
| ISBN | 3658404736 9783658404734 3658404728 9783658404727 |
| IngestDate | Fri Jul 04 04:34:29 EDT 2025 Fri Nov 08 02:36:08 EST 2024 Mon Sep 22 05:54:11 EDT 2025 Wed Dec 10 15:01:01 EST 2025 Mon Nov 03 04:49:57 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | TA329-348 |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a28365-bd425f7ecb1055c87c860f3bd47aa6d955c0d758e05bd63f63664e14898b10ec3 |
| Notes | Electronic reproduction. Dordrecht: Springer Vieweg, 2022. Requires the Libby app or a modern web browser. |
| OCLC | 1500763707 |
| OpenAccessLink | https://library.oapen.org/handle/20.500.12657/60822 |
| PQID | EBC7165796 |
| PageCount | 197 |
| ParticipantIDs | overdrive_books_ODN0010071722 askewsholts_vlebooks_9783658404734 proquest_ebookcentral_EBC7165796 oapen_primary_oai_library_oapen_org_20_500_12657_60822 oapen_doabooks_96221 |
| PublicationCentury | 2000 |
| PublicationDate | 2023 2022-12-31 2022. |
| PublicationDateYYYYMMDD | 2023-01-01 2022-12-31 2022-01-01 |
| PublicationDate_xml | – year: 2023 text: 2023 |
| PublicationDecade | 2020 |
| PublicationPlace | Wiesbaden |
| PublicationPlace_xml | – name: Wiesbaden |
| PublicationYear | 2023 2022 |
| Publisher | Springer Nature Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH National Institute of Informatics |
| Publisher_xml | – name: Springer Nature – name: Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH – name: National Institute of Informatics |
| SSID | ssj0002832718 |
| Score | 2.3652232 |
| Snippet | This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past... |
| SourceID | overdrive askewsholts proquest oapen |
| SourceType | Aggregation Database Publisher |
| SubjectTerms | Algebra Artificial intelligence Computable Mathematics Computational intelligence Computer Algebra Systems Computer science Computer Technology Computing and Information Technology Engineering Engineering mathematics Engineering—Data processing LaTeX Mathematical Information Retrieval Mathematics Mathematics and Science Maths for engineers Nonfiction Presentation to Computation Translations Presentational Mathematics Technology Technology, Engineering, Agriculture, Industrial processes Technology: general issues |
| SubjectTermsDisplay | Computer Technology. Electronic books. Engineering. Nonfiction. Technology. |
| Subtitle | A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems |
| Title | Making Presentation Math Computable |
| URI | https://directory.doabooks.org/handle/20.500.12854/96221 https://library.oapen.org/handle/20.500.12657/60822 https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=7165796 https://www.vlebooks.com/vleweb/product/openreader?id=none&isbn=9783658404734 http://link.overdrive.com/?titleID=10071722&websiteID= |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3fT8IwEL4omCgvKGhExSzqa8lgXTteRQgmgjwYwlvTdV1iNGAY8vd71w3Q-MbLkt3tR3e3Xfu1u-8AHuKwI6UIOcPeSDJu_YhpHNgzYTRxIQsdGceu_yLH42g2606KPO5sN3fRWmhE824lP2cbQJDeCn0iQxAI4QXxlB9CWVAxahoPyeftxArV3sGAS3kc1Lv6XAYiZ9rZ7vPN8mbBMBsw1DCnYrwCFZ19YITB6LPKqA4SNaUCx_RLZbLEGPQvbLu-aFDd6ylOoWwpreEMDuy8BtVi8OkVn3aGok19h42sBpXRltM1q8P9yBWu8ia7hKW5R0d4-ZmUg3UO00H_rTdkRYkFpjtkDxYn-NGm0pqYKmWaSJpI-GmAYqm1SLoo8xPEFNYP40QEqUD_cYsYqhvhGdYEF1CaL-b2EjwptUkDbS1iMM67QcwTE6Q4ntEG3S_iBtz9Mqxaf7rl4Ez98UwD6s5oKlnoQo1ObjdA5OKvnINDESt2YWWVa9DKquMrNK9y5lXOvA1obv2m8gu-Po0JCROQJb238aVy7Sn-iVX9xx5CScrUvdr33tdwQsXp8wmbGyitlt-2CUdmvXrPlrfurcXttD38AZSj5d0 |
| linkProvider | Open Access Publishing in European Networks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Making+Presentation+Math+Computable&rft.au=Greiner-Petter%2C+Andr%C3%A9&rft.date=2023-01-01&rft.pub=Springer+Nature&rft.isbn=9783658404734&rft_id=info:doi/10.1007%2F978-3-658-40473-4&rft.externalDBID=A7I&rft.externalDocID=oai_library_oapen_org_20_500_12657_60822 |
| thumbnail_m | http://cvtisr.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fvle.dmmserver.com%2Fmedia%2F640%2F97836584%2F9783658404734.jpg |