Actualmente estoy tratando de trazar un mapa matemático, escribiendo una gran cantidad de definiciones, teoremas y axiomas y observando las dependencias entre ellos (por ejemplo, si B es una definición, contendrá palabras que se definieron anteriormente en la definición A, entonces B depende de A).
Sin embargo, no solo quiero hacer una gran lista de teoremas y definiciones, tengo esta imagen en mi cabeza de un gráfico increíblemente grande (en el sentido de la teoría de gráficos), un mapa, por así decirlo, de las matemáticas. Este es un ejemplo muy aproximado de la plantilla, aunque personalmente lo vería al revés.
El objetivo es encontrar software que pueda usar para crear este gráfico. Estos son mis deseos y necesidades:
Necesito que sea interactivo. Esto es en el sentido de que si hago clic en un nodo (los teoremas, las definiciones, etc. son nodos, las dependencias están representadas por flechas), me gustaría que apareciera una imagen en alguna parte de la página que detalla ese nodo. Supongo que esto se lograría vinculando de alguna manera el gráfico al archivo pdf de la lista, o quizás tomando una captura de pantalla de la página en particular en la lista y quizás vinculando eso de alguna manera al nodo. Sería preferible que la imagen quedara en el programa, a que se abra el adobe o algo así.
También sería increíble si pudiera vincular el documento al gráfico, para poder abrir la lista grande a través de este software y hacer clic en la página del 'teorema A' para resaltar el nodo del 'teorema A'.
Lo necesito para permitir el etiquetado de los nodos y las flechas para facilitar la navegación. Entonces, un nodo podría verse como [Teorema A], por ejemplo.
Lo necesito para poder manejar una gran cantidad de nodos. Potencialmente miles. Si esto simplemente no es posible, puedo intentar superar eso, supongo.
Me gustaría mucho que se pueda ampliar, en un sentido tal vez similar a Google Maps. Todo lo que quiero decir es que es poco probable que una imagen grande y estática me convenga.
Sería bueno si el software fuera bastante fácil de usar, pero puedo hacer frente a una curva de aprendizaje si la documentación es buena.
Si es posible, me gustaría que el software funcione en una Mac. Esto es solo porque mi computadora portátil es una Mac, por lo que no es una necesidad de ninguna manera.
¿Alguien sabe de algún software que pueda satisfacer mis necesidades? ¿O podría necesitar intentar crearlo? (Estoy aprendiendo C ++, dado el tiempo suficiente, seguramente podría hacer un programa así con eso, ¿verdad?)
Muchas gracias, esta es probablemente una solicitud inusual. Las etiquetas son mías lanzando dardos a una pared, si alguien pudiera mejorarlas estaría muy agradecido.
Al leer su solicitud, creo que el software que está buscando es una herramienta de mapas mentales. Sin embargo, existen muy pocos de ellos, y tendrá que buscar para encontrar el que mejor se adapte a sus necesidades. Para comenzar, haga una búsqueda de algo como las mejores herramientas de mapas mentales .
Me gustaría mencionar dos opciones que creo que se ajustarían a sus necesidades. Uno un poco más caro que el otro, y esos son MindManager de MindJet (precio desde 349 USD ) y XMind (precio desde gratis hasta 99 USD ).
Ambos tienen las siguientes opciones:
Utilicé MindJet hace algunos años y estaba muy satisfecho con él, pero no me gusta el esquema de precios. No he usado Xmind, pero parece prometedor y ha recibido buenas críticas últimamente.
Pensando en ello, necesita mostrar varios niveles de detalles, por ejemplo, un teorema dado podría tratar con conjuntos invariantes de números irracionales como mapeados para modelar interacciones sociales dentro de grupos de primates (dice improvisando escandalosamente), en un nivel general esto no sería ser visualizable. Sin embargo, en el nivel superior puede tener áreas amplias como teoremas de conjuntos, modelado del mundo real y operaciones numéricas.
Esto me sugiere que podría usar un modelo de datos en el que tuviera varios niveles de clasificación y un proceso interactivo que, según su nivel de zoom, muestre el contenido diferente.
Este tipo de cosas se pueden lograr con una combinación de iPython , pandas y bokeh .
Con iPython puede detallar sus teoremas en Markdown con soporte completo de MathJax, vincularlos y trazar ejemplos con bokeh y salida a html, latex y/o pdf.
Gratis, (gratis y de código abierto) y multiplataforma.
