Rendere computabile la matematica di presentazione: Un approccio sensibile al contesto per tradurre il Latex in sistemi algebrici per computer

Titolo originale:

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

Contenuto del libro:

Questo libro ad accesso libero affronta il problema della traduzione di espressioni matematiche da LaTeX alla sintassi dei Computer Algebra Systems (CAS). Negli ultimi decenni, soprattutto nel campo delle scienze, della tecnologia, dell'ingegneria e della matematica (STEM), LaTeX è diventato lo standard de-facto per la composizione delle formule matematiche nelle pubblicazioni. Poiché gli scienziati sono generalmente tenuti a pubblicare il proprio lavoro, LaTeX è diventato parte integrante del flusso editoriale odierno. D'altra parte, la ricerca moderna si affida sempre più ai CAS per semplificare, manipolare, calcolare e visualizzare la matematica. Tuttavia, le funzioni di importazione LaTeX esistenti in CAS si limitano a semplici espressioni aritmetiche e sono quindi insufficienti per la maggior parte dei casi d'uso. Di conseguenza, il flusso di lavoro della sperimentazione e della pubblicazione nelle scienze spesso include conversioni manuali, lunghe e soggette a errori, tra i formati LaTeX di presentazione e CAS di calcolo. Per ovviare alla mancanza di uno strumento di traduzione affidabile e completo tra LaTeX e CAS, questa tesi offre i seguenti tre contributi. In primo luogo, fornisce un approccio per migliorare semanticamente le espressioni LaTeX con informazioni semantiche sufficienti per la traduzione in sintassi CAS. In secondo luogo, viene presentato il primo framework di traduzione da LaTeX a CAS consapevole del contesto, LaCASt.

In terzo luogo, la tesi fornisce un approccio innovativo per valutare le prestazioni delle traduzioni da LaTeX a CAS su insiemi di dati di grandi dimensioni con una verifica automatica delle equazioni nelle biblioteche matematiche digitali.

Questo è un libro ad accesso libero.