Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems. Greiner-Petter, A., Schubotz, M., Aizawa, A., & Gipp, B. In Bigatti, A. M., Carette, J., Davenport, J. H., Joswig, M., & de Wolff, T., editors, International Congress of Mathematical Software (ICMS), volume 12097, of Lecture Notes in Computer Science, pages 335–341, Braunschweig, Germany, 2020. Springer.
Paper doi abstract bibtex 1 download Scientists increasingly rely on computer algebra systems and digital mathematical libraries to compute, validate, or experiment with mathematical formulae. However, the focus in digital mathematical libraries and scientific documents often lies more on an accurate presentation of the formulae rather than providing uniform access to the semantic information. But, presentational math formats do not provide exclusive access to the underlying semantic meanings. One has to derive the semantic information from the context. As a consequence, the workflow of experimenting and publishing in the Sciences often includes time-consuming, error-prone manual conversions between presentational and computational math formats. As a contribution to improve this workflow, we propose a context-sensitive approach that extracts semantic information from a given context, embeds the information into the given input, and converts the semantically enhanced expressions to computer algebra systems.
@inproceedings{BibbaseGreinerPetterSAG20,
address = {Braunschweig, Germany},
series = {Lecture {Notes} in {Computer} {Science}},
title = {Making {Presentation} {Math} {Computable}: {Proposing} a {Context} {Sensitive} {Approach} for {Translating} {LaTeX} to {Computer} {Algebra} {Systems}},
volume = {12097},
isbn = {978-3-030-52199-8},
shorttitle = {Making {Presentation} {Math} {Computable}},
url = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-52200-1_33.pdf},
doi = {10.1007/978-3-030-52200-1_33},
abstract = {Scientists increasingly rely on computer algebra systems and digital mathematical libraries to compute, validate, or experiment with mathematical formulae.
However, the focus in digital mathematical libraries and scientific documents often lies more on an accurate presentation of the formulae rather than providing uniform access to the semantic information.
But, presentational math formats do not provide exclusive access to the underlying semantic meanings.
One has to derive the semantic information from the context.
As a consequence, the workflow of experimenting and publishing in the Sciences often includes time-consuming, error-prone manual conversions between presentational and computational math formats.
As a contribution to improve this workflow, we propose a context-sensitive approach that extracts semantic information from a given context, embeds the information into the given input, and converts the semantically enhanced expressions to computer algebra systems.},
language = {en},
urldate = {2021-07-30},
booktitle = {International {Congress} of {Mathematical} {Software} ({ICMS})},
publisher = {Springer},
author = {Greiner-Petter, Andre and Schubotz, Moritz and Aizawa, Akiko and Gipp, Bela},
editor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and de Wolff, Timo},
year = {2020},
pages = {335--341},
}
Downloads: 1
{"_id":"Lb9bapGYZPcjGiuhP","bibbaseid":"greinerpetter-schubotz-aizawa-gipp-makingpresentationmathcomputableproposingacontextsensitiveapproachfortranslatinglatextocomputeralgebrasystems-2020","author_short":["Greiner-Petter, A.","Schubotz, M.","Aizawa, A.","Gipp, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Braunschweig, Germany","series":"Lecture Notes in Computer Science","title":"Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems","volume":"12097","isbn":"978-3-030-52199-8","shorttitle":"Making Presentation Math Computable","url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-52200-1_33.pdf","doi":"10.1007/978-3-030-52200-1_33","abstract":"Scientists increasingly rely on computer algebra systems and digital mathematical libraries to compute, validate, or experiment with mathematical formulae. However, the focus in digital mathematical libraries and scientific documents often lies more on an accurate presentation of the formulae rather than providing uniform access to the semantic information. But, presentational math formats do not provide exclusive access to the underlying semantic meanings. One has to derive the semantic information from the context. As a consequence, the workflow of experimenting and publishing in the Sciences often includes time-consuming, error-prone manual conversions between presentational and computational math formats. As a contribution to improve this workflow, we propose a context-sensitive approach that extracts semantic information from a given context, embeds the information into the given input, and converts the semantically enhanced expressions to computer algebra systems.","language":"en","urldate":"2021-07-30","booktitle":"International Congress of Mathematical Software (ICMS)","publisher":"Springer","author":[{"propositions":[],"lastnames":["Greiner-Petter"],"firstnames":["Andre"],"suffixes":[]},{"propositions":[],"lastnames":["Schubotz"],"firstnames":["Moritz"],"suffixes":[]},{"propositions":[],"lastnames":["Aizawa"],"firstnames":["Akiko"],"suffixes":[]},{"propositions":[],"lastnames":["Gipp"],"firstnames":["Bela"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Bigatti"],"firstnames":["Anna","Maria"],"suffixes":[]},{"propositions":[],"lastnames":["Carette"],"firstnames":["Jacques"],"suffixes":[]},{"propositions":[],"lastnames":["Davenport"],"firstnames":["James","H."],"suffixes":[]},{"propositions":[],"lastnames":["Joswig"],"firstnames":["Michael"],"suffixes":[]},{"propositions":["de"],"lastnames":["Wolff"],"firstnames":["Timo"],"suffixes":[]}],"year":"2020","pages":"335–341","bibtex":"@inproceedings{BibbaseGreinerPetterSAG20,\n\taddress = {Braunschweig, Germany},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {Making {Presentation} {Math} {Computable}: {Proposing} a {Context} {Sensitive} {Approach} for {Translating} {LaTeX} to {Computer} {Algebra} {Systems}},\n\tvolume = {12097},\n\tisbn = {978-3-030-52199-8},\n\tshorttitle = {Making {Presentation} {Math} {Computable}},\n\turl = {https://link.springer.com/content/pdf/10.1007%2F978-3-030-52200-1_33.pdf},\n\tdoi = {10.1007/978-3-030-52200-1_33},\n\tabstract = {Scientists increasingly rely on computer algebra systems and digital mathematical libraries to compute, validate, or experiment with mathematical formulae. \nHowever, the focus in digital mathematical libraries and scientific documents often lies more on an accurate presentation of the formulae rather than providing uniform access to the semantic information. \nBut, presentational math formats do not provide exclusive access to the underlying semantic meanings. \nOne has to derive the semantic information from the context.\nAs a consequence, the workflow of experimenting and publishing in the Sciences often includes time-consuming, error-prone manual conversions between presentational and computational math formats.\nAs a contribution to improve this workflow, we propose a context-sensitive approach that extracts semantic information from a given context, embeds the information into the given input, and converts the semantically enhanced expressions to computer algebra systems.},\n\tlanguage = {en},\n\turldate = {2021-07-30},\n\tbooktitle = {International {Congress} of {Mathematical} {Software} ({ICMS})},\n\tpublisher = {Springer},\n\tauthor = {Greiner-Petter, Andre and Schubotz, Moritz and Aizawa, Akiko and Gipp, Bela},\n\teditor = {Bigatti, Anna Maria and Carette, Jacques and Davenport, James H. and Joswig, Michael and de Wolff, Timo},\n\tyear = {2020},\n\tpages = {335--341},\n}\n\n","author_short":["Greiner-Petter, A.","Schubotz, M.","Aizawa, A.","Gipp, B."],"editor_short":["Bigatti, A. M.","Carette, J.","Davenport, J. H.","Joswig, M.","de Wolff, T."],"key":"BibbaseGreinerPetterSAG20","id":"BibbaseGreinerPetterSAG20","bibbaseid":"greinerpetter-schubotz-aizawa-gipp-makingpresentationmathcomputableproposingacontextsensitiveapproachfortranslatinglatextocomputeralgebrasystems-2020","role":"author","urls":{"Paper":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-52200-1_33.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://api.zotero.org/users/7689706/collections/IBJGRWZX/items?key=R0b523dc3oYLxTGap1H4YXgd&format=bibtex&limit=100","dataSources":["QGwcHf7xnb5mCCQi7","x2wNFgXC2PE23H45p","3wTLgXcXueP5mYbfu","cZ8X4Ke5so9b7csrB","wZtCXbB8M6GYSQHMx"],"keywords":[],"search_terms":["making","presentation","math","computable","proposing","context","sensitive","approach","translating","latex","computer","algebra","systems","greiner-petter","schubotz","aizawa","gipp"],"title":"Making Presentation Math Computable: Proposing a Context Sensitive Approach for Translating LaTeX to Computer Algebra Systems","year":2020,"downloads":1}