Titre original :
Making Presentation Math Computable: A Context-Sensitive Approach for Translating Latex to Computer Algebra Systems
Contenu du livre :
Ce livre en libre accès aborde la question de la traduction des expressions mathématiques de LaTeX vers la syntaxe des systèmes de calcul formel (CAS). Au cours des dernières décennies, en particulier dans le domaine des sciences, de la technologie, de l'ingénierie et des mathématiques (STEM), LaTeX est devenu la norme de facto pour la mise en page des formules mathématiques dans les publications. Les scientifiques étant généralement tenus de publier leurs travaux, LaTeX est devenu une partie intégrante du flux de travail de l'édition d'aujourd'hui. D'autre part, la recherche moderne s'appuie de plus en plus sur les CAS pour simplifier, manipuler, calculer et visualiser les mathématiques. Cependant, les fonctions d'importation LaTeX existantes dans CAS sont limitées à de simples expressions arithmétiques et sont donc insuffisantes pour la plupart des cas d'utilisation. Par conséquent, le processus d'expérimentation et de publication dans le domaine des sciences comprend souvent des conversions manuelles fastidieuses et sujettes aux erreurs entre les formats de présentation LaTeX et les formats de calcul CAS. Pour remédier à l'absence d'un outil de traduction fiable et complet entre LaTeX et CAS, cette thèse apporte les trois contributions suivantes. Premièrement, elle fournit une approche pour améliorer sémantiquement les expressions LaTeX avec suffisamment d'informations sémantiques pour les traductions dans les syntaxes CAS. Deuxièmement, elle démontre le premier cadre de traduction contextuelle de LaTeX vers CAS, LaCASt.
Troisièmement, la thèse fournit une nouvelle approche pour évaluer la performance des traductions de LaTeX vers CAS sur des ensembles de données à grande échelle avec une vérification automatique des équations dans les bibliothèques mathématiques numériques.
Il s'agit d'un livre en libre accès.
Autres informations sur le livre :
| ISBN : | 9783658404727 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 2023 |
| Nombre de pages : | 197 |
Achat:
Actuellement disponible, en stock.
