Informatica teorica software

8

Strumenti collaborativi per manichini / professori

Supponiamo che i coautori di due o più istituzioni diverse stiano scrivendo un documento in lattice e che vorrebbero fare di meglio che inviare ripetutamente e-mail bozze avanti e indietro. Si rendono conto di poter aprire gratuitamente un account Dropbox, condividere la password e sincronizzare la versione del documento sul …

36 soft-question research-practice software writing

1

Esiste un ragionevole sistema di prova automatizzato per i teoremi di TCS?

Supponiamo che volessi formalizzare la prova di Turing sul problema dell'arresto in modo che una macchina potesse controllarla. Alcuni dei noti sistemi di dimostrazione di teoremi automatizzati includono Mizar, Coq e HOL4. Ho scaricato e sperimentato Coq, ma non ha una libreria per macchine Turing. Ho pensato di codificarne uno …

28 lo.logic turing-machines software proof-assistants automated-theorem-proving

5

Programma per il calcolo Decomposizione dell'albero di un grafico

Qualcuno sa di un programma open source per il calcolo della decomposizione ad albero dei grafici per una "k" (larghezza) fissa? So che il problema nel trovare Tree-Decomposition è NP-Hard per la variabile "k", ma le mie istanze di input saranno veramente piccole (~ 10 nodi) e "k" è stato …

22 ds.algorithms graph-theory graph-algorithms software treewidth

10

Download del solutore #SAT

Qualcuno potrebbe indicare uno o più siti Web dove è possibile scaricare un'implementazione funzionante di un solutore #SAT? Sono interessato a coloro che restituiscono il conteggio esatto della soluzione, non un'approssimazione.

21 ds.algorithms sat software

9

Qual è il software consigliato per disegnare strutture dati come grafici e alberi?

Quando si mettono insieme i risultati, è spesso desiderabile avere alcuni diagrammi dall'aspetto professionale, piuttosto che diagrammi messi insieme in MS Paint. Qual è lo standard per il disegno di strutture dati?

21 soft-question ds.data-structures software graph-drawing writing

5

Controllo della versione per la collaborazione (con differenze a livello di parola)?

La maggior parte degli articoli sono ora scritti in modo collaborativo e i collaboratori si trovano spesso in luoghi diversi. Ho sempre usato i sistemi di controllo della versione per i miei documenti e codice, e ho anche trovato il controllo della versione fondamentale per progetti software collaborativi, ma sembra …

20 soft-question research-practice software writing

6

Strumenti di visualizzazione dell'analisi della rete / rete sociale?

Stavo usando Jung ( http://jung.sourceforge.net/ ) per visualizzare il ranking della pagina e l'ho trovato un po 'lento e difficile ridimensionarlo oltre 100 nodi. Mi chiedevo quali altri strumenti le persone usano per l'analisi e la visualizzazione della rete / social network.

20 graph-theory big-list cg.comp-geom software graph-drawing

5

Pacchetto software per la decomposizione di circuiti quantistici

Esiste un pacchetto software che consente la decomposizione di unità unitarie da in circuiti quantici su un set di gate universale predefinito?U( 2n)U(2n)U(2^n)

15 quantum-computing software

5

Il miglior libro sull'implementazione del metodo Simplex?

Sono interessato all'implementazione dell'attività SM per LP, tuttavia ho sentito parlare di possibili insidie: il libro di Cormen afferma che è possibile avere dati di input che renderanno l'implementazione ingenua per comportarsi in tempo esponenziale. Ho anche sentito che un'implementazione ingenua può eseguire il loop per alcuni tipi di dati. …

14 ds.algorithms linear-programming software implementation simplex

6

Assistente di prova per la scrittura di matematica

Vorrei scrivere prove matematiche usando un assistente di prova. Tutto sarà scritto usando la logica del primo ordine (con uguaglianza) e la deduzione naturale. Lo sfondo è la teoria degli insiemi (ZF). Ad esempio, come posso scrivere la seguente prova? Assioma:∀ x ∀ y( x = y↔ ∀ z( z∈ …

12 lo.logic software proof-assistants

2

Enumera tutte le soluzioni di un problema SAT

Tutti i solutori #SAT che conosco, ad esempio RelSat, C2D, restituiscono solo il numero di istanze soddisfacenti. Ma voglio sapere ognuno di quei casi? Esiste un tale solutore #SAT o come dovrei modificare un solutore #SAT disponibile per farlo? Grazie.

11 lo.logic sat software

1

Volume di calcolo dei poliedri convessi ad alta dimensione

Sto cercando un software per calcolare / stimare il volume di poliedri convessi ad alta dimensione. Più specificamente, sono interessato a un programma in grado di gestire corpi con vertici nello spazio d- dimensionale con parametri limitati approssimativamente come segue: d ≤ 50 e n ≤ 1000 . Si noti …

9 cg.comp-geom software convex-geometry high-dimensional-geometry

Domande taggate «software»