Realizarea matematicii de prezentare computabilă: O abordare sensibilă la context pentru traducerea Latex în sisteme de algebră computerizată

Titlul original:

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

Conținutul cărții:

Această carte cu acces liber abordează problema traducerii expresiilor matematice din LaTeX în sintaxa sistemelor de algebră computerizată (CAS). În ultimele decenii, în special în domeniul științelor, tehnologiei, ingineriei și matematicii (STEM), LaTeX a devenit standardul de-facto pentru tipărirea formulelor matematice în publicații. Deoarece oamenii de știință trebuie, în general, să își publice lucrările, LaTeX a devenit o parte integrantă a fluxului actual de publicare. Pe de altă parte, cercetarea modernă se bazează din ce în ce mai mult pe CAS pentru simplificarea, manipularea, calcularea și vizualizarea matematicii. Cu toate acestea, funcțiile de import LaTeX existente în CAS sunt limitate la expresii aritmetice simple și sunt, prin urmare, insuficiente pentru majoritatea cazurilor de utilizare. În consecință, fluxul de lucru al experimentării și publicării în domeniul științelor include adesea conversii manuale consumatoare de timp și predispuse la erori între formatele LaTeX de prezentare și CAS de calcul. Pentru a aborda lipsa unui instrument de traducere fiabil și cuprinzător între LaTeX și CAS, această teză aduce următoarele trei contribuții. În primul rând, aceasta oferă o abordare pentru îmbunătățirea semantică a expresiilor LaTeX cu suficiente informații semantice pentru traduceri în sintaxe CAS. În al doilea rând, demonstrează primul cadru de traducere de la LaTeX la CAS, LaCASt, conștient de context.

În al treilea rând, teza oferă o abordare nouă pentru a evalua performanța traducerilor de la LaTeX la CAS pe seturi de date la scară largă, cu o verificare automată a ecuațiilor din bibliotecile matematice digitale.

Aceasta este o carte cu acces liber.