Making Presentation Math Computable: A Context-Sensitive Approach for Translating Latex to Computer Algebra Systems
Ez az Open-Access-könyv a matematikai kifejezések LaTeX-ből a számítógépes algebrai rendszerek (CAS) szintaxisába történő fordításával foglalkozik. Az elmúlt évtizedekben, különösen a természettudományok, a technológia, a mérnöki tudományok és a matematika területén (STEM), a LaTeX vált a publikációkban szereplő matematikai képletek tipizálásának de facto szabványává. Mivel a tudósok általában kötelesek publikálni munkájukat, a LaTeX a mai publikációs munkafolyamatok szerves részévé vált. Másrészt a modern kutatás egyre inkább a CAS-ra támaszkodik a matematika egyszerűsítése, manipulálása, kiszámítása és vizualizálása érdekében. A CAS meglévő LaTeX importáló funkciói azonban egyszerű aritmetikai kifejezésekre korlátozódnak, és ezért a legtöbb felhasználási esethez nem elegendőek. Következésképpen a természettudományos kísérletezés és publikálás munkafolyamata gyakran időigényes és hibakényes kézi konverziókat tartalmaz a prezentációs LaTeX és a számítási célú CAS-formátumok között. A LaTeX és a CAS közötti megbízható és átfogó fordítóeszköz hiányának orvoslására ez a dolgozat a következő három hozzájárulást nyújtja. Először is, egy olyan megközelítést kínál, amellyel a LaTeX-kifejezések szemantikailag kibővíthetők elegendő szemantikai információval a CAS-szintaxisokba való fordításhoz. Másodszor, bemutatja az első kontextustudatos LaTeX-CAS fordítási keretrendszert, a LaCASt-t.
Harmadszor, a dolgozat új megközelítést kínál a LaTeX-CAS fordítások teljesítményének értékelésére nagyméretű adathalmazokon, a digitális matematikai könyvtárakban található egyenletek automatikus ellenőrzésével.
Ez egy szabadon hozzáférhető könyv.