Ich versuche gerade, Mathematik zu kartieren, indem ich eine ganze Menge Definitionen, Theoreme und Axiome aufschreibe und die Abhängigkeiten zwischen ihnen notiere (wenn B beispielsweise eine Definition ist, enthält sie Wörter, die selbst früher in Definition A definiert wurden, B hängt also von A ab).
Ich möchte aber nicht nur eine große Liste von Sätzen und Definitionen erstellen, sondern ich habe dieses Bild eines unglaublich großen Graphen (im graphentheoretischen Sinne) im Kopf – eine Karte, wenn Sie so wollen, der Mathematik. Dies ist ein sehr grobes Beispiel für die Vorlage, obwohl ich es persönlich umgekehrt haben würde.
Das Ziel ist, eine Software zu finden, mit der ich diese Grafik erstellen kann. Hier sind meine Wünsche und Bedürfnisse:
Ich brauche es, um interaktiv zu sein. Dies bedeutet, dass ich, wenn ich auf einen Knoten klicke (die Theoreme, Definitionen usw. sind Knoten, Abhängigkeiten werden durch Pfeile dargestellt), möchte, dass irgendwo auf der Seite ein Bild erscheint, das diesen Knoten detailliert darstellt. Ich würde davon ausgehen, dass dies erreicht würde, indem ich entweder das Diagramm irgendwie mit der PDF-Datei der Liste verlinke oder vielleicht indem ich einen Screenshot der bestimmten Seite in der Liste mache und diesen vielleicht auf irgendeine Weise mit dem Knoten verlinke. Es wäre besser, wenn das Bild im Programm bleiben würde, anstatt Adobe zu öffnen oder so.
Es wäre auch erstaunlich, wenn ich das Dokument auch mit dem Diagramm verknüpfen könnte, damit ich die große Liste über diese Software öffnen und auf die Seite von „Theorem A“ klicken kann, um den Knoten von „Theorem A“ hervorzuheben.
Ich brauche es, um die Beschriftung der Knoten und Pfeile für eine einfachere Navigation zu ermöglichen. Ein Knoten könnte also zum Beispiel so aussehen wie [Theorem A].
Ich brauche es, um eine große Anzahl von Knoten verarbeiten zu können. Möglicherweise Tausende. Wenn dies einfach nicht möglich ist, kann ich versuchen, das zu überwinden, denke ich.
Ich würde es sehr begrüßen, wenn es zoombar wäre, in gewissem Sinne vielleicht ähnlich wie bei Google Maps. Ich meine nur, dass mir ein großes, statisches Bild wahrscheinlich nicht zusagt.
Es wäre schön, wenn die Software relativ einfach zu bedienen wäre, aber ich kann eine Lernkurve bewältigen, wenn die Dokumentation gut ist.
Wenn möglich, möchte ich, dass die Software auf einem Mac funktioniert. Dies liegt nur daran, dass mein Laptop ein Mac ist und daher keinesfalls erforderlich ist.
Kennt jemand eine Software, die meine Anforderungen erfüllen könnte? Oder muss ich versuchen, es zu erstellen? (Ich lerne C++, mit genügend Zeit könnte ich sicherlich ein solches Programm damit machen, oder?)
Vielen Dank, dies ist wahrscheinlich eine ungewöhnliche Anfrage. Bei den Tags werfe ich Darts gegen eine Wand, wenn jemand sie verbessern könnte, wäre ich sehr verbunden.
Wenn ich Ihre Anfrage lese, glaube ich, dass die Software, die Sie suchen, ein Mind-Mapping-Tool ist. Es gibt jedoch nur wenige davon, und Sie müssen sich umsehen, um das zu finden, das Ihren Bedürfnissen am besten entspricht. Um Ihnen den Einstieg zu erleichtern, suchen Sie nach so etwas wie den besten Mind-Mapping-Tools .
Ich möchte zwei Optionen erwähnen, die meiner Meinung nach Ihren Anforderungen entsprechen würden. Einer etwas teurer als der andere, und das sind MindManager von MindJet (Preis ab 349 USD ) und XMind (Preis von kostenlos bis 99 USD ).
Beide haben die folgenden Optionen:
Ich habe MindJet vor einigen Jahren verwendet und war damit sehr zufrieden, aber das Preisschema gefällt mir nicht. Ich habe Xmind nicht verwendet, aber es scheint vielversprechend zu sein und hat in letzter Zeit gute Kritiken erhalten.
Wenn Sie darüber nachdenken, müssen Sie verschiedene Detailebenen anzeigen, zum Beispiel könnte ein gegebenes Theorem mit invarianten Sätzen irrationaler Zahlen umgehen, die auf die Modellierung sozialer Interaktionen innerhalb von Primatengruppen abgebildet sind (er sagt es unverschämt beflügelnd), auf einer Übersichtsebene wäre dies nicht der Fall darstellbar sein. Auf der obersten Ebene haben Sie jedoch möglicherweise breite Bereiche wie Mengensätze, Modellierung der realen Welt und numerische Operationen.
Dies legt mir nahe, dass Sie ein Datenmodell verwenden könnten, bei dem Sie mehrere Klassifizierungsebenen und einen interaktiven Prozess haben, der je nach Zoomstufe die unterschiedlichen Inhalte anzeigt.
So etwas kann mit einer Kombination aus iPython , Pandas und Bokeh erreicht werden .
Mit iPython können Sie Ihre Theoreme in Markdown mit voller MathJax-Unterstützung detaillieren, sie miteinander verknüpfen und Beispiele mit Bokeh plotten und in HTML, Latex und/oder PDF ausgeben.
Kostenlos, (kostenlos und Open Source) und plattformübergreifend.
