Lista de deseos de software matemático

Question

Al igual que muchos otros matemáticos puedo utilizar software matemático como la SALVIA, el GAP, Polymake, y, por supuesto, $\LaTeX$ extensamente. Cuando puedo chatear con los colegas acerca de tales herramientas de software, muy a menudo, alguien tiene una idea de cómo extender una herramienta existente, lo que (inexistente) de la herramienta sería útil, o que la pieza de la documentación debe ser (re)por escrito. Debido a la falta de tiempo y la energía, y a menudo también conocimientos de programación, estas ideas rara vez se materializan.

Por otro lado, cada ahora y entonces me encuentro con programadores con un fuerte interés en las matemáticas (que a menudo están realmente capacitados matemáticos), y que están buscando para un proyecto de software para trabajar en. Sin embargo, normalmente no saben realmente lo que se necesita y terminan haciendo un no-matemático proyecto.

Esto me dio la idea de pedir a la comunidad matemática a compilar una lista de deseos de software matemático. Los deseos pueden ser muy pequeños o o algo más grande. Sólo trate de asegurarse de que es realista y tal vez también dar una explicación de por qué consideras que tu proyecto tan interesante.

Y si le sucede a ser un programador de cumplir uno de los deseos, por favor deje un comentario.

Sería grande si usted podría también incluir una estimación de la complejidad de su proyecto y de lo que las matemáticas/relación de codificación, pero esto es opcional.

tl;dr

• ¿Qué herramienta de software que te gustaría ver creado?
• Lo que existe herramienta de software que te gustaría ver ampliado por lo que cuentan?
• Qué parte de la documentación que falta, o debe ser actualizada y extendida?

Una sugerencia por respuesta, por favor.

Answer 1

Creo que algunos aspectos de la matemática sería revolucionado por tener una buena matemáticas motor de búsqueda. Recientemente, se formuló una pregunta en Meta.MathStackExchange acerca de lo que ellos percibían como los mayores problemas que enfrenta el sitio. La mayor respuesta fue que no había ningún motor de búsqueda que indexan las matemáticas.

Esta parte es razonable, ya que la matemática es almacenado y documentado en $\TeX$ y esto puede ser tomado como un estándar. Pero esto también es problemático, ya que hay múltiples no canónicos formas de hacer las cosas en $\TeX$. Sería negligente si no me dicen que hay muchos otros campos de los aspectos de esta.

Como ejemplo de caso de uso, a menudo tengo que buscar cosas en la Gradshteyn y Ryzhik Tabla de Integrales y Series. Sería notable si hay una manera razonable de la búsqueda para mis expresiones en el libro. Incluso si tuviera que intentar varias búsquedas, es casi seguro que sería más rápido. Tomando un paso más, sería genial para buscar a través de TeX en el arXiv para ciertas expresiones así.

Creo que incluso un relativamente mediocre de matemáticas de motores de búsqueda sería útil empezar.⠀⠀⠀⠀⠀

Answer 2

Un lenguaje de composición más moderno para reemplazar$\TeX$. TeX es básicamente imposible de analizar y sus componentes internos son realmente extraños y difíciles de trabajar cuando uno intenta hacer algo avanzado.

Knuth es un genio, y fue un truco realmente bueno para la época, pero, con el debido respeto, después de 30 años de experiencia con la composición tipográfica por computadora, estoy seguro de que es posible armar algo mejor.

Si no, al menos un compilador TeX con mejores mensajes de error.

Answer 3

Siempre pensé que sería bueno tener un pizarrón virtual en tiempo real (lápiz digitalizador compatible), por ejemplo, como una extensión de Skype o un servicio similar, donde no solo se puede hablar con un colega, sino también hacer matemáticas juntos a grandes distancias.

Answer 4

Un soporte enormemente mejorado para las matemáticas escritas a mano (por ejemplo, a través del lápiz digitalizador) incl. ¡su conversión a matemática tipográfica sería increíble! A la larga, idealmente debería poder reemplazar LaTeX. Solo piense cuánto tiempo dedican los investigadores a ingresar las matemáticas.

Answer 5

Una versión mejorada de latexdiff

Una buena diff de software es esencial para la colaboración, la redacción de artículos. Latexdiff toma dos tex archivos y genera un nuevo archivo tex con las diferencias de relieve (las adiciones están subrayados en azul y eliminaciones son tachadas en rojo). Esto es muy útil, ya que facilita la visualización de los cambios que los autores han hecho durante una ronda de la edición, especialmente si alguno de sus autores no son super equipo savy (por ejemplo, no usar diff sí mismos), ya que sólo se puede pasar con ellos la salida de PDF con los cambios marcados.

Sin embargo, mi experiencia con el uso de latexdiff es que el archivo de salida normalmente requiere algún manual de edición antes de que pueda ser compilado en un archivo PDF, ya que el diff de marcado algoritmo a menudo se mete el látex de la sintaxis. Sería útil tener una relación más amigable con el usuario latexdiff.