Vypočítateľnosť prezentačnej matematiky: Prístup citlivý na kontext pre preklad Latexu do systémov počítačovej algebry

Pôvodný názov:

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

Obsah knihy:

Táto voľne dostupná kniha sa zaoberá problematikou prekladu matematických výrazov z LaTeXu do syntaxe systémov počítačovej algebry (CAS). V posledných desaťročiach sa najmä v oblasti prírodných vied, technológií, inžinierstva a matematiky (STEM) stal LaTeX de facto štandardom na písanie matematických vzorcov v publikáciách. Keďže od vedcov sa vo všeobecnosti vyžaduje publikovanie ich prác, LaTeX sa stal neoddeliteľnou súčasťou dnešného publikačného procesu. Na druhej strane sa moderný výskum čoraz viac spolieha na CAS na zjednodušenie, manipuláciu, výpočty a vizualizáciu matematiky. Existujúce funkcie importu LaTeXu v CAS sú však obmedzené na jednoduché aritmetické výrazy, a preto sú pre väčšinu prípadov použitia nedostatočné. V dôsledku toho pracovný postup experimentovania a publikovania vo vedách často zahŕňa časovo náročné a na chyby náchylné manuálne konverzie medzi prezentačnými formátmi LaTeX a výpočtovým CAS. S cieľom riešiť nedostatok spoľahlivého a komplexného nástroja na prevod medzi LaTeXom a CAS táto práca prináša tieto tri príspevky. Po prvé, poskytuje prístup na sémantické obohatenie výrazov LaTeXu o dostatočné sémantické informácie na preklad do syntaxe CAS. Po druhé, demonštruje prvý kontextovo orientovaný prekladový rámec LaTeX do CAS LaCASt.

Po tretie, práca poskytuje nový prístup na hodnotenie výkonnosti prekladov z LaTeXu do CAS na rozsiahlych súboroch údajov s automatickým overovaním rovníc v digitálnych matematických knižniciach.

Ide o knihu s otvoreným prístupom.