توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب دسترسی باز به موضوع ترجمه عبارات ریاضی از LaTeX به نحو سیستم های جبر رایانه ای (CAS) می پردازد. در طول دهههای گذشته، بهویژه در حوزه علوم، فناوری، مهندسی و ریاضیات (STEM)، LaTeX به استاندارد واقعی برای حروفچینی فرمولهای ریاضی در نشریات تبدیل شده است. از آنجایی که عموماً دانشمندان ملزم به انتشار آثار خود هستند، LaTeX به بخشی جدایی ناپذیر از گردش کار انتشار امروزی تبدیل شده است. از سوی دیگر، تحقیقات مدرن به طور فزاینده ای بر CAS برای ساده سازی، دستکاری، محاسبه و تجسم ریاضیات متکی است. با این حال، توابع واردات LaTeX موجود در CAS به عبارات حسابی ساده محدود میشوند و بنابراین برای اکثر موارد استفاده ناکافی هستند. در نتیجه، گردش کار آزمایش و انتشار در علوم اغلب شامل تبدیلهای دستی زمانبر و مستعد خطا بین قالبهای LaTeX و CAS محاسباتی است. برای رسیدگی به فقدان یک ابزار ترجمه قابل اعتماد و جامع بین LaTeX و CAS، این پایان نامه سه مشارکت زیر را ارائه می دهد. اول، رویکردی برای تقویت معنایی عبارات LaTeX با اطلاعات معنایی کافی برای ترجمه به نحو CAS ارائه میکند. ثانیاً، اولین چارچوب LaCASt ترجمه LaTeX به CAS را نشان می دهد. سوم، این پایان نامه رویکرد جدیدی را برای ارزیابی عملکرد ترجمه های LaTeX به CAS در مجموعه داده های مقیاس بزرگ با تأیید خودکار معادلات در کتابخانه های ریاضی دیجیتال ارائه می دهد.
این یک کتاب با دسترسی آزاد است.
br>
tag : دانلود کتاب محاسباتی کردن ریاضی ارائه: رویکردی حساس به زمینه برای ترجمه لاتک به سیستم های جبری رایانه ای , Download محاسباتی کردن ریاضی ارائه: رویکردی حساس به زمینه برای ترجمه لاتک به سیستم های جبری رایانه ای , دانلود محاسباتی کردن ریاضی ارائه: رویکردی حساس به زمینه برای ترجمه لاتک به سیستم های جبری رایانه ای , Download Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems Book , محاسباتی کردن ریاضی ارائه: رویکردی حساس به زمینه برای ترجمه لاتک به سیستم های جبری رایانه ای دانلود , buy محاسباتی کردن ریاضی ارائه: رویکردی حساس به زمینه برای ترجمه لاتک به سیستم های جبری رایانه ای , خرید کتاب محاسباتی کردن ریاضی ارائه: رویکردی حساس به زمینه برای ترجمه لاتک به سیستم های جبری رایانه ای , دانلود کتاب Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems , کتاب Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems , دانلود Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems , خرید Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems , خرید کتاب Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.