Making Presentation Math Computable: A Context-Sensitive Approach for Translatin

Description: Making Presentation Math Computable 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). FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher 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 todays 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. Back Cover 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 todays 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 Author Biography Dr. André Greiner-Petter is a postdoctoral researcher at the NII. Table of Contents 1. Introduction.-2. Mathematical Information Retrieval.-3. Semantification of Mathematical LaTeX.-4. From LaTeX to Computer Algebra Systems.-5. Qualitative and Quantitative Evaluations.-6. Conclusion and Future Work Feature This book is open access, which means that you have free and unlimited access. Details ISBN3658404728 Short Title Making Presentation Math Computable Language English Year 2023 ISBN-10 3658404728 ISBN-13 9783658404727 Format Paperback Subtitle A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems DOI 10.1007/978-3-658-40473-4 Pages 197 Publication Date 2023-01-01 Publisher Springer Fachmedien Wiesbaden Edition 1st Imprint Springer Vieweg Place of Publication Weisbaden Country of Publication Germany UK Release Date 2023-01-01 Author André Greiner-Petter Edition Description 1st ed. 2023 DEWEY 620.00151 Illustrations 58 Illustrations, color; 3 Illustrations, black and white; XVIII, 197 p. 61 illus., 58 illus. in color. Textbook for German language market. Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:139551544;

Price: 90.21 AUD

Location: Melbourne

End Time: 2025-01-05T02:11:15.000Z

Shipping Cost: 9.51 AUD