Making Presentation Math Computable: Kontekstowe podejście do tłumaczenia Latexa na systemy algebry komputerowej

Oryginalny tytuł:

Making Presentation Math Computable: A Context-Sensitive Approach for Translating Latex to Computer Algebra Systems

Zawartość książki:

Ta książka o otwartym dostępie porusza kwestię tłumaczenia wyrażeń matematycznych z LaTeX na składnię Computer Algebra Systems (CAS). W ciągu ostatnich dziesięcioleci, zwłaszcza w dziedzinie nauk ścisłych, technologii, inżynierii i matematyki (STEM), LaTeX stał się de facto standardem składu formuł matematycznych w publikacjach. Ponieważ naukowcy są zazwyczaj zobowiązani do publikowania swoich prac, LaTeX stał się integralną częścią dzisiejszego przepływu pracy wydawniczej. Z drugiej strony, nowoczesne badania w coraz większym stopniu opierają się na CAS w celu uproszczenia, manipulowania, obliczania i wizualizacji matematyki. Jednak istniejące funkcje importu LaTeX w CAS są ograniczone do prostych wyrażeń arytmetycznych i dlatego są niewystarczające dla większości przypadków użycia. W związku z tym przepływ pracy związany z eksperymentowaniem i publikowaniem w naukach ścisłych często obejmuje czasochłonne i podatne na błędy ręczne konwersje między prezentacyjnymi formatami LaTeX i obliczeniowymi formatami CAS. Aby zaradzić brakowi niezawodnego i kompleksowego narzędzia do tłumaczenia między LaTeX i CAS, niniejsza rozprawa wnosi następujące trzy wkłady. Po pierwsze, zapewnia podejście do semantycznego ulepszania wyrażeń LaTeX z wystarczającą ilością informacji semantycznych do tłumaczenia na składnie CAS. Po drugie, demonstruje pierwszy kontekstowy framework LaCASt do tłumaczenia LaTeX na CAS.

Po trzecie, rozprawa przedstawia nowatorskie podejście do oceny wydajności tłumaczeń LaTeX na CAS na dużych zbiorach danych z automatyczną weryfikacją równań w cyfrowych bibliotekach matematycznych.

Jest to książka z otwartym dostępem.