Making Presentation Math Computable: Un enfoque sensible al contexto para traducir Latex a sistemas de álgebra computacional

Título original:

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

Contenido del libro:

Este libro de acceso libre aborda la cuestión de la traducción de expresiones matemáticas de LaTeX a la sintaxis de los sistemas de álgebra computacional (CAS). En las últimas décadas, especialmente en el ámbito de las ciencias, la tecnología, la ingeniería y las matemáticas (STEM), LaTeX se ha convertido en el estándar de facto para la composición tipográfica de fórmulas matemáticas en las publicaciones. Dado que, por lo general, los científicos están obligados a publicar sus trabajos, LaTeX se ha convertido en una parte integral del flujo de trabajo editorial actual. Por otro lado, la investigación moderna depende cada vez más de CAS para simplificar, manipular, calcular y visualizar las matemáticas. Sin embargo, las funciones de importación de LaTeX existentes en CAS se limitan a simples expresiones aritméticas y, por tanto, son insuficientes para la mayoría de los casos de uso. En consecuencia, el flujo de trabajo de la experimentación y la publicación en el ámbito de las Ciencias incluye a menudo conversiones manuales entre los formatos LaTeX de presentación y CAS computacional que requieren mucho tiempo y son propensas a errores. Para hacer frente a la falta de una herramienta de traducción fiable y completa entre LaTeX y CAS, esta tesis realiza las tres contribuciones siguientes. En primer lugar, proporciona un enfoque para mejorar semánticamente las expresiones LaTeX con suficiente información semántica para su traducción a sintaxis CAS. En segundo lugar, demuestra el primer marco de traducción de LaTeX a CAS consciente del contexto, LaCASt.

En tercer lugar, la tesis proporciona un enfoque novedoso para evaluar el rendimiento de las traducciones de LaTeX a CAS en conjuntos de datos a gran escala con una verificación automática de ecuaciones en bibliotecas matemáticas digitales.

Se trata de un libro de libre acceso.