Making Presentation Math Computable : : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / / by André Greiner-Petter.
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:
: | |
---|---|
Place / Publishing House: | Wiesbaden : : Springer Fachmedien Wiesbaden :, Imprint: Springer Vieweg,, 2023. |
Year of Publication: | 2023 |
Edition: | 1st ed. 2023. |
Language: | English |
Physical Description: | 1 electronic resource (197 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
993580999804498 |
---|---|
ctrlnum |
(CKB)5840000000221166 (oapen)https://directory.doabooks.org/handle/20.500.12854/96221 (MiAaPQ)EBC7165796 (Au-PeEL)EBL7165796 (OCoLC)1369651541 (DE-He213)978-3-658-40473-4 (EXLCZ)995840000000221166 |
collection |
bib_alma |
record_format |
marc |
spelling |
Greiner-Petter, André. Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / by André Greiner-Petter. 1st ed. 2023. Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2023. 1 electronic resource (197 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier English National Institute of Informatics 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. About the Author Dr. André Greiner-Petter is a postdoctoral researcher at the NII. Open Access Engineering mathematics. Engineering—Data processing. Computational intelligence. Algebra. Artificial intelligence. Mathematical and Computational Engineering Applications. Computational Intelligence. Artificial Intelligence. 3-658-40472-8 |
language |
English |
format |
eBook |
author |
Greiner-Petter, André. |
spellingShingle |
Greiner-Petter, André. Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / |
author_facet |
Greiner-Petter, André. |
author_variant |
a g p agp |
author_sort |
Greiner-Petter, André. |
title |
Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / |
title_sub |
A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / |
title_full |
Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / by André Greiner-Petter. |
title_fullStr |
Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / by André Greiner-Petter. |
title_full_unstemmed |
Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / by André Greiner-Petter. |
title_auth |
Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / |
title_new |
Making Presentation Math Computable : |
title_sort |
making presentation math computable : a context-sensitive approach for translating latex to computer algebra systems / |
publisher |
Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, |
publishDate |
2023 |
physical |
1 electronic resource (197 p.) |
edition |
1st ed. 2023. |
isbn |
3-658-40473-6 3-658-40472-8 |
callnumber-first |
T - Technology |
callnumber-subject |
TA - General and Civil Engineering |
callnumber-label |
TA329-348 |
callnumber-sort |
TA 3329 3348 |
illustrated |
Not Illustrated |
dewey-hundreds |
600 - Technology |
dewey-tens |
620 - Engineering |
dewey-ones |
620 - Engineering & allied operations |
dewey-full |
620 |
dewey-sort |
3620 |
dewey-raw |
620 |
dewey-search |
620 |
oclc_num |
1369651541 |
work_keys_str_mv |
AT greinerpetterandre makingpresentationmathcomputableacontextsensitiveapproachfortranslatinglatextocomputeralgebrasystems |
status_str |
n |
ids_txt_mv |
(CKB)5840000000221166 (oapen)https://directory.doabooks.org/handle/20.500.12854/96221 (MiAaPQ)EBC7165796 (Au-PeEL)EBL7165796 (OCoLC)1369651541 (DE-He213)978-3-658-40473-4 (EXLCZ)995840000000221166 |
carrierType_str_mv |
cr |
is_hierarchy_title |
Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems / |
_version_ |
1805511990228025344 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03617nam a22005175i 4500</leader><controlfield tag="001">993580999804498</controlfield><controlfield tag="005">20221231180134.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr|mn|---annan</controlfield><controlfield tag="008">221231s2023 gw | o |||| 0|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3-658-40473-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-658-40473-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)5840000000221166</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(oapen)https://directory.doabooks.org/handle/20.500.12854/96221</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)EBC7165796</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL7165796</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1369651541</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)978-3-658-40473-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)995840000000221166</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TA329-348</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TBJ</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TEC009000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TBJ</subfield><subfield code="2">thema</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Greiner-Petter, André.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Making Presentation Math Computable :</subfield><subfield code="b">A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems /</subfield><subfield code="c">by André Greiner-Petter.</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2023.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden :</subfield><subfield code="b">Springer Fachmedien Wiesbaden :</subfield><subfield code="b">Imprint: Springer Vieweg,</subfield><subfield code="c">2023.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 electronic resource (197 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="536" ind1=" " ind2=" "><subfield code="a">National Institute of Informatics</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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. About the Author Dr. André Greiner-Petter is a postdoctoral researcher at the NII.</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Engineering mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Engineering—Data processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational intelligence.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algebra.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Artificial intelligence.</subfield></datafield><datafield tag="650" ind1="1" ind2="4"><subfield code="a">Mathematical and Computational Engineering Applications.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Computational Intelligence.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Algebra.</subfield></datafield><datafield tag="650" ind1="2" ind2="4"><subfield code="a">Artificial Intelligence.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="z">3-658-40472-8</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">BOOK</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-25 01:14:30 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2023-01-09 04:44:33 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAB Directory of Open Access Books</subfield><subfield code="P">DOAB Directory of Open Access Books</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5343019010004498&Force_direct=true</subfield><subfield code="Z">5343019010004498</subfield><subfield code="b">Available</subfield><subfield code="8">5343019010004498</subfield></datafield></record></collection> |