Als «software» getaggte Fragen

Angenommen, Co-Autoren aus zwei oder mehr verschiedenen Institutionen schreiben eine Arbeit in Latex und möchten dies besser machen, als Entwürfe wiederholt per E-Mail hin und her zu schicken. Sie stellen fest, dass sie kostenlos ein Dropbox-Konto eröffnen, das Kennwort freigeben und die Version...

Angenommen, ich wollte Turings Beweis für das Stopp-Problem formalisieren, damit eine Maschine ihn überprüfen kann. Einige der bekannten automatisierten Theoremprüfungssysteme umfassen Mizar, Coq und HOL4. Ich habe Coq heruntergeladen und experimentiert, aber es gibt keine Bibliothek für...

Kennt jemand ein Open-Source-Programm zur Berechnung der Baumzerlegung von Graphen für ein festes "k" (Breite)? Ich weiß, dass das Problem beim Auffinden der Baumzerlegung für die Variable "k" NP-schwer ist, aber meine Eingabeinstanzen sind sehr klein (~ 10 Knoten) und "k" ist

Könnte jemand bitte auf eine oder mehrere Websites verweisen, auf denen eine funktionierende Implementierung eines #SAT-Lösers heruntergeladen werden kann? Mich interessieren diejenigen, die die genaue Anzahl der Lösungen zurückgeben, keine

Wenn Sie Ergebnisse zusammenstellen, ist es oft wünschenswert, einige professionell aussehende Diagramme zu haben, anstatt Diagramme in MS Paint zusammenzustellen. Was ist der Standard zum Zeichnen von

Ich habe Jung ( http://jung.sourceforge.net/ ) verwendet, um den Seitenrang zu visualisieren, und fand es etwas langsam und schwierig, ihn über 100 Knoten hinaus zu skalieren. Ich habe mich gefragt, welche anderen Tools die Leute für die Analyse und Visualisierung von Netzwerken / sozialen...

Die meisten Artikel werden jetzt gemeinsam verfasst, und die Mitarbeiter befinden sich häufig an verschiedenen Orten. Ich habe immer Versionskontrollsysteme für meine Dokumente und meinen Code verwendet und auch die Versionskontrolle als kritisch für kollaborative Softwareprojekte eingestuft, aber...

Gibt es ein Softwarepaket, das die Zerlegung von Unitaries von in Quantenschaltungen über einen vordefinierten universellen Gate-Satz ermöglicht?U(

Ich bin an der Implementierung von SM für LP-Aufgaben interessiert, habe jedoch von möglichen Fallstricken gehört: Cormens Buch sagt, dass es möglich ist, Eingabedaten zu haben, die eine naive Implementierung dazu bringen, sich in exponentieller Zeit zu verhalten. Ich habe auch gehört, dass naive...

Ich möchte mathematische Beweise mit einem Proof-Assistenten schreiben. Alles wird unter Verwendung von Logik erster Ordnung (mit Gleichheit) und natürlichem Abzug geschrieben. Hintergrund ist die Mengenlehre (ZF). Wie könnte ich zum Beispiel den folgenden Beweis schreiben? Axiom:...

Alle mir bekannten # SAT-Löser, z. B. RelSat, C2D, geben nur die Anzahl der erfüllbaren Instanzen zurück. Aber ich möchte jede dieser Instanzen kennen? Gibt es einen solchen # SAT-Solver oder wie sollte ich einen verfügbaren # SAT-Solver ändern, um dies zu tun? Vielen

Ich suche Software zur Berechnung / Schätzung des Volumens hochdimensionaler konvexer Polyeder. Insbesondere interessiert mich ein Programm, das Körper mit Eckpunkten im d- dimensionalen Raum mit ungefähr wie folgt begrenzten Parametern verarbeiten kann: d ≤ 50 und n ≤ 1000 . Beachten Sie, dass für...

Wir wissen, dass alle Push-Down-Automaten mit kontextfreien Grammatiken darstellbar sind. Darüber hinaus gibt es einen Algorithmus zum Erstellen eines CFG aus einem beliebigen PDA (z. B. Sipsers Beweis im Intro zur Theorie der Berechnung). Gibt es Tools für diese Übersetzung? Das heißt, ich kann...

Es gibt zahlreiche graphentheoretische Werkzeuge / Pakete. Jeder mit seinen Vor- und Nachteilen. Was sollte die Semantik / Syntax einer Programmiersprache sein, um graphentheoretische Probleme zu