Aunque me gusta trabajar con matematics en el interior de Látex (es decir, garabatear notas.t.c. incluso de las cosas que sé que nunca me voy a componer), a menudo me encuentro a mí mismo tener que recurrir al lápiz y el papel por la sencilla razón de que me parece más conveniente (ser capaz de shuffle papeles, escribir algunas notas adicionales a la prueba de un teorema en un papel, así como para recordar algunos detalles para que cada vez que quiero demandar que en particular el teorema).
Me doy cuenta de que probablemente no será capaz de dejar de usar el lápiz y el papel (usando TikZ a tocar el violín alrededor con conmutativa diagramas en "tiempo real" parece más bien una pesadilla), pero me gustaría evitar la enorme pila (leer lío) de los no sindicados palimpsestos tengo que vadear a través de todos los tiempo estoy buscando algo de nota/teorema/definición.
Yo soy así, preguntando si alguien es consciente de algún tipo de software para la organización de "pensamiento matemático" (a falta de menos cursi palabra); en algún lugar entre un pleno teorema armario (Coq, Agda e.t.c.) y un sistema de tipografía (Látex).
Las características más relevantes de algún tipo de modelo matemático "conciencia" (algo así como un navegador para algunos matemáticas RDF schema?), la búsqueda (para los símbolos, textos e.t.c.) y de control de versión (en el caso de archivos de texto sin formato que esto sólo podría lograrse mediante el uso regular de un sistema de control de versiones, pero sería agradable si era más consciente de los contenidos).
Gracias de antemano por cualquier consejos o sugerencias.
EDIT: me di cuenta de que yo podría querer org-mode. No lo he utilizado para nada más allá de la creación de lineamientos básicos, es cualquier persona que la utilice para algo como lo que estoy describiendo arriba?
EDIT2: Antes de que alguien lo sugiere, un wiki no es exactamente lo que quiero, a menos que usted puede configurar sin necesidad de iniciar un servidor y es muy fácil de organizar las cosas en separar proyectos de pequeña escala (si el umbral de uso no es mínima, yo no puedo ver a mí mismo usando más de agarrar un pedazo de papel cerca de mí).
